Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912441804259328 |
|---|---|
| author | Knudstorp, Søren Brinck |
| author_facet | Knudstorp, Søren Brinck |
| contents | We show that for any class of Boolean algebras with an associative operator, if it contains the complex algebra of (P(N), U), its equational theory is undecidable. Equivalently, any associative normal modal logic valid over the frame (P(N), U) is undecidable. This settles a long-open question on the decidability of hyperboolean modal logic (Goranko and Vakarelov, 1999), and addresses several related problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_16366 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Diamonds and Dominoes: Impossibility Results for Associative Modal Logics Knudstorp, Søren Brinck Logic 03B25, 03B45, 06E25 (Primary) 03D10, 03G15, 06F05 (Secondary) We show that for any class of Boolean algebras with an associative operator, if it contains the complex algebra of (P(N), U), its equational theory is undecidable. Equivalently, any associative normal modal logic valid over the frame (P(N), U) is undecidable. This settles a long-open question on the decidability of hyperboolean modal logic (Goranko and Vakarelov, 1999), and addresses several related problems. |
| title | Diamonds and Dominoes: Impossibility Results for Associative Modal Logics |
| topic | Logic 03B25, 03B45, 06E25 (Primary) 03D10, 03G15, 06F05 (Secondary) |
| url | https://arxiv.org/abs/2506.16366 |