Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’

Journal of Applied Non-Classical Logics 26 (4):336-345 (2016)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
2017-03-15

Downloads
36 (#380,118)

6 months
5 (#242,355)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcelo E. Coniglio
University of Campinas

References found in this work

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