A Finite Model Property for Gödel Modal Logics

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

report13-03(1).pdf - Submitted Version
Available under License Publisher holds Copyright.
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39992-3_20

Download (366kB) | Preview
[img] Text
__ubnetapp02_user$_brinksma_Downloads_finite model.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (238kB) | Request a copy

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.

Item Type: Book Section (Book Chapter)
Division/Institute: 08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics
UniBE Contributor: Metcalfe, George and Rogger, Jonas
Subjects: 500 Science > 510 Mathematics
ISBN: 978-3-642-39991-6
Series: Lecture Notes in Computer Science
Publisher: Springer
Language: English
Submitter: George Metcalfe
Date Deposited: 06 Mar 2014 09:45
Last Modified: 05 Dec 2014 07:17
Publisher DOI: 10.1007/978-3-642-39992-3_20
BORIS DOI: 10.7892/boris.41260
URI: http://boris.unibe.ch/id/eprint/41260

Actions (login required)

Edit item Edit item
Provide Feedback