Publication:5483012
From MaRDI portal
zbMath1102.03018MaRDI QIDQ5483012
Publication date: 15 August 2006
satisfiability; normal modal logic; multimodal logics; Horn fragment; monomodal logics; bounded modal depth
03B45: Modal logic (including the logic of norms)
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Characterizing and extending answer set semantics using possibility theory, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Boolean logics with relations, Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction), Parameterized modal satisfiability, Complete Abstractions and Subclassical Modal Logics, Boolean Logics with Relations