scientific article; zbMATH DE number 1341606

MaRDI QIDQ4263155zbMATH OpenFDO

Authors Erich Grädel

Publication date 22 September 1999

zbMATH Keywords

\(\mu\)-calculusautomata-theoretic methoddecidabilityguarded fixed point logicguarded logicmonadic theory of countable treestree model property

Mathematics Subject Classification ID

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

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

(34)

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

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)