Publication:4266483
From MaRDI portal
zbMath0935.03029MaRDI QIDQ4266483
Publication date: 30 September 1999
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Structure and Power: an Emerging Landscape, A polynomial space construction of tree-like models for logics with local chains of modal connectives, Logical separability of labeled data examples under ontologies, Modal Satisfiability via SMT Solving, Guarded fixed point logics and the monadic theory of countable trees., Semiring Provenance for Guarded Logics, Undecidability of Multi-modal Hybrid Logics