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

[img]
Preview
Text
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)

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, 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 2022 14:28

Publisher DOI:

10.1007/978-3-642-39992-3_20

BORIS DOI:

10.7892/boris.41260

URI:

https://boris.unibe.ch/id/eprint/41260

Actions (login required)

Edit item Edit item
Provide Feedback