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

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
	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.

Interest & Impact

Downloads

379 since deposited on 06 Mar 2014
49 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item