On algebraic and topological semantics of the modal logic of common knowledge S4CI
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910468116840448 |
|---|---|
| author | Shamkanov, Daniyar |
| author_facet | Shamkanov, Daniyar |
| contents | We investigate algebraic and topological semantics of the modal logic S4CI and obtain strong completeness of the given system in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish strong completeness results for the obtained system in the case of global semantic consequence relations. Furthermore, we identify the class of completable S4CI-algebras and obtain for them a Stone-type representation theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_05676 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | On algebraic and topological semantics of the modal logic of common knowledge S4CI Shamkanov, Daniyar Logic 03B42, 06E25 F.4.1 We investigate algebraic and topological semantics of the modal logic S4CI and obtain strong completeness of the given system in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish strong completeness results for the obtained system in the case of global semantic consequence relations. Furthermore, we identify the class of completable S4CI-algebras and obtain for them a Stone-type representation theorem. |
| title | On algebraic and topological semantics of the modal logic of common knowledge S4CI |
| topic | Logic 03B42, 06E25 F.4.1 |
| url | https://arxiv.org/abs/2111.05676 |