Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
Abstract
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.