State-based Modal Logics for Free Choice
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915096309006336 |
|---|---|
| author | Aloni, Maria Anttila, Aleksi Yang, Fan |
| author_facet | Aloni, Maria Anttila, Aleksi Yang, Fan |
| contents | We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the three logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_11777 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | State-based Modal Logics for Free Choice Aloni, Maria Anttila, Aleksi Yang, Fan Logic Logic in Computer Science 03B65 (Primary) 03B60, 03B45 (Secondary) We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the three logics. |
| title | State-based Modal Logics for Free Choice |
| topic | Logic Logic in Computer Science 03B65 (Primary) 03B60, 03B45 (Secondary) |
| url | https://arxiv.org/abs/2305.11777 |