Axiomatizing modal inclusion logic and its variants
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_ | 1866929753801359360 |
|---|---|
| author | Anttila, Aleksi Häggblom, Matilda Yang, Fan |
| author_facet | Anttila, Aleksi Häggblom, Matilda Yang, Fan |
| contents | We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_02285 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Axiomatizing modal inclusion logic and its variants Anttila, Aleksi Häggblom, Matilda Yang, Fan Logic 03B60 We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator. |
| title | Axiomatizing modal inclusion logic and its variants |
| topic | Logic 03B60 |
| url | https://arxiv.org/abs/2312.02285 |