scientific article; zbMATH DE number 1860675

zbMATH Open1012.03505MaRDI QIDQ4790403FDOQ4790403

Authors: Erich Grädel 

Publication date: 28 January 2003

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilitymodal logicsfixed-point logicguarded fragment of first-order logic

Mathematics Subject Classification ID

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

Cited In (10)

• Why does the proof-theory of hybrid logic work so well?
• Guarded negation
• Polynomial hierarchy graph properties in hybrid logic
• IF modal logic and classical negation
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Resolution with order and selection for hybrid logics
• The guarded fragment with transitive guards
• Canonical completeness of infinitary \(\mu \)
• Regular graphs and the spectra of two-variable logic with counting
• Guarded negation

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 Q4790403)