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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,934

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

8 Valued Non-Deterministic Semantics for Modal Logics.Pawel Pawlowski & Daniel Skurt - 2024 - Journal of Philosophical Logic 53 (2):351-371.
Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
Polynomial semantics for modal logics.Juan C. Agudelo-Agudelo & Santiago Echeverri-Valencia - 2019 - Journal of Applied Non-Classical Logics 29 (4):430-449.
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.

Analytics

Added to PP
2017-03-15

Downloads
57 (#382,306)

6 months
10 (#444,744)

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