scientific article; zbMATH DE number 1346360
From MaRDI portal
Publication:4266483
zbMath0935.03029MaRDI QIDQ4266483
Publication date: 30 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (7)
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
This page was built for publication:
