A Finite Model Property for Gödel Modal Logics
Contribuinte(s) |
Libkin, L. Kohlenbach, U. de Queiroz, R. |
---|---|
Data(s) |
2013
|
Resumo |
A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic. |
Formato |
application/pdf application/pdf |
Identificador |
http://boris.unibe.ch/41260/1/report13-03%281%29.pdf http://boris.unibe.ch/41260/2/__ubnetapp02_user%24_brinksma_Downloads_finite%20model.pdf Caicedo, Xavier; Metcalfe, George; Rodriguez, Ricardo; Rogger, Jonas (2013). A Finite Model Property for Gödel Modal Logics. In: Libkin, L.; Kohlenbach, U.; de Queiroz, R. (eds.) Proceedings of WoLLIC 2013. Lecture Notes in Computer Science: Vol. 8071 (pp. 226-237). Springer 10.1007/978-3-642-39992-3_20 <http://dx.doi.org/10.1007/978-3-642-39992-3_20> doi:10.7892/boris.41260 info:doi:10.1007/978-3-642-39992-3_20 urn:isbn:978-3-642-39991-6 |
Idioma(s) |
eng |
Publicador |
Springer |
Relação |
http://boris.unibe.ch/41260/ http://link.springer.com/chapter/10.1007/978-3-642-39992-3_20 |
Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
Fonte |
Caicedo, Xavier; Metcalfe, George; Rodriguez, Ricardo; Rogger, Jonas (2013). A Finite Model Property for Gödel Modal Logics. In: Libkin, L.; Kohlenbach, U.; de Queiroz, R. (eds.) Proceedings of WoLLIC 2013. Lecture Notes in Computer Science: Vol. 8071 (pp. 226-237). Springer 10.1007/978-3-642-39992-3_20 <http://dx.doi.org/10.1007/978-3-642-39992-3_20> |
Palavras-Chave | #510 Mathematics |
Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |