@article{8758071,
  abstract     = {{The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition's truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique value. In this paper we will study which modal logics can be obtained by changing the interpretation of the rectangle modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of rectangle. Furthermore, wewill study subsets of these axioms. We showthat some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems.}},
  author       = {{Pawlowski, Pawel and Skurt, Daniel}},
  issn         = {{0022-3611}},
  journal      = {{JOURNAL OF PHILOSOPHICAL LOGIC}},
  keywords     = {{Modal logics,Many-valued logics,Non-deterministic semantics,S4}},
  language     = {{eng}},
  number       = {{2}},
  pages        = {{351--371}},
  title        = {{8 valued non-deterministic semantics for modal logics}},
  url          = {{http://doi.org/10.1007/s10992-023-09733-4}},
  volume       = {{53}},
  year         = {{2024}},
}

Altmetric

View in Altmetric

Web of Science

Times cited: