Modal Logics -- RNmatrices vs. Nmatrices
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910769072832512 |
|---|---|
| author | Coniglio, Marcelo E. Pawłowski, Paweł Skurt, Daniel |
| author_facet | Coniglio, Marcelo E. Pawłowski, Paweł Skurt, Daniel |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_00492 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Modal Logics -- RNmatrices vs. Nmatrices Coniglio, Marcelo E. Pawłowski, Paweł Skurt, Daniel Logic in Computer Science F.4.1;I.2.4 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. |
| title | Modal Logics -- RNmatrices vs. Nmatrices |
| topic | Logic in Computer Science F.4.1;I.2.4 |
| url | https://arxiv.org/abs/2501.00492 |