Authors
Marcelo E. Coniglio
University of Campinas
Abstract
Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char..
Keywords modal logic  non-deterministic matrices  decidability
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.2015.1011543
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,077
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.

View all 14 references / Add more references

Citations of this work BETA

Society Semantics and the Logic Way to Collective Intelligence.Walter Carnielli & Mamede Lima-Marques - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):255-268.

Add more citations

Similar books and articles

Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
A Spatial Modal Logic with a Location Interpretation.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (4):331.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Products of Modal Logics, Part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.

Analytics

Added to PP index
2015-04-03

Total views
31 ( #333,466 of 2,411,342 )

Recent downloads (6 months)
1 ( #538,938 of 2,411,342 )

How can I increase my downloads?

Downloads

My notes