scientific article; zbMATH DE number 1346360

MaRDI QIDQ4266483zbMATH OpenFDO

Authors Erich Grädel

Publication date 30 September 1999

zbMATH Keywords

decidabilityfixed point logicguarded fragments of first-order logicmodal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1059246
• scientific article; zbMATH DE number 1341606
• Introduction to Guarded Logics

Cited in

(12)

• A polynomial space construction of tree-like models for logics with local chains of modal connectives
• Guarded fixed point logics and the monadic theory of countable trees.
• Logical separability of labeled data examples under ontologies
• Undecidability of multi-modal hybrid logics
• Why does the proof-theory of hybrid logic work so well?
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• Introduction to Guarded Logics
• Semiring Provenance for Guarded Logics
• Structure and Power: an Emerging Landscape
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• Modal Satisfiability via SMT Solving
• Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4266483)