scientific article; zbMATH DE number 1341606

MaRDI QIDQ4263155zbMATH OpenFDO

Authors Erich Grädel

Publication date 22 September 1999

zbMATH Keywords

decidabilitytree model propertyguarded logic\(\mu\)-calculusautomata-theoretic methodguarded fixed point logicmonadic theory of countable trees

Mathematics Subject Classification ID

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

Recommendations

• Guarded fixed point logics and the monadic theory of countable trees.
• scientific article; zbMATH DE number 1303345
• A Step Up in Expressiveness of Decidable Fixpoint Logics
• The complexity of boundedness for guarded logics

Cited in

(31)

• Guarded fixed point logics and the monadic theory of countable trees.
• Introduction to Guarded Logics
• Complexity of monodic guarded fragments over linear and real time
• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
• Axiomatizing the monodic fragment of first-order temporal logic
• Deciding regular grammar logics with converse through first-order logic
• Limited approximate bisimulations and the corresponding rough approximations
• Games and model checking for guarded logics
• scientific article; zbMATH DE number 6215728 (Why is no real title available?)
• Means and limits of decision (invited talk)
• Combining theories: the Ackerman and guarded fragments
• scientific article; zbMATH DE number 2109542 (Why is no real title available?)
• Back and forth between guarded and modal logics
• The complexity of boundedness for guarded logics
• Hyperresolution for guarded formulae
• Deciding the guarded fragments by resolution
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• Decision procedures for BDI logics
• Relating structure and power: comonadic semantics for computational resources
• Whither semantics?
• Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
• Guarded negation
• Guards, bounds, and generalized semantics
• First-order resolution methods for modal logics
• Characterizing definability in decidable fixpoint logics
• The semijoin algebra and the guarded fragment
• scientific article; zbMATH DE number 1989656 (Why is no real title available?)
• Guarded quantification in least fixed point logic
• Automata for Guarded Fixed Point Logics
• Reasoning formally about database queries and updates
• scientific article; zbMATH DE number 7269244 (Why is no real title available?)

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