Authors
Marcelo E. Coniglio
University of Campinas
Abstract
In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt in the paper “More modal semantics without possible worlds”, where an alternative solution was proposed.
Keywords Modal Logic  Nondeterministic matrices  Non-normal modal logics
Categories (categorize this paper)
Reprint years 2017
ISBN(s)
DOI 10.1080/11663081.2017.1300436
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
Through your library

References found in this work BETA

Modal Semantics Without Possible Worlds.John T. Kearns - 1981 - Journal of Symbolic Logic 46 (1):77-86.
A Semantics For Modal Calculi.J. Ivlev - 1988 - Bulletin of the Section of Logic 17 (3-4):114-121.

Add more references

Citations of this work BETA

No citations found.

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.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Syntactic Refutations Against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.

Analytics

Added to PP index
2017-03-15

Total views
28 ( #371,141 of 2,411,342 )

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

How can I increase my downloads?

Downloads

My notes