@article{01JKFQFJPFAMJGPZDF7CRMKP7A,
  abstract     = {{  In this short paper we will discuss the similarities and differences between
two semantic approaches to modal logics - non-deterministic semantics and
restricted non-deterministic semantics. Generally speaking, both kinds of
semantics are similar in the sense that they employ non-deterministic matrices
as a starting point but differ significantly in the way extensions of the
minimal modal logic M are constructed. Both kinds of semantics are many-valued
and truth-values are typically expressed in terms of tuples of 0s and 1s, where
each dimension of the tuple represents either truth/falsity,
possibility/non-possibility, necessity/non-necessity etc. And while
non-deterministic semantics for modal logic offers an intuitive interpretation
of the truth-values and the concept of modality, with restricted
non-deterministic semantics are more general in terms of providing extensions
of M, including normal ones, in an uniform way. On the example of three modal
logics, MK, MKT and MKT4, we will show the differences and similarities of
those two approaches. Additionally, we will briefly discuss (current)
restrictions of both approaches.
}},
  author       = {{E. Coniglio, Marcelo and Pawlowski, Pawel and Skurt, Daniel}},
  journal      = {{EPTCS 415, 2024, pp. 138-149}},
  language     = {{und}},
  title        = {{Modal Logics -- RNmatrices vs. Nmatrices}},
  url          = {{http://doi.org/10.4204/EPTCS.415.14}},
  year         = {{2024}},
}

Altmetric

View in Altmetric