An incomplete decidable modal logic
From MaRDI portal
Publication:3718681
DOI10.2307/2274183zbMath0591.03006MaRDI QIDQ3718681
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274183
finite axiomatization; propositional modal logic; validity problem; incomplete modal logic; Rabin's second-order theory of two successor functions
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Related Items
Coalgebraic semantics of modal logics: an overview, Mathematical modal logic: A view of its evolution
Cites Work