scientific article; zbMATH DE number 1341606
From MaRDI portal
Publication:4263155
zbMath0937.03011MaRDI QIDQ4263155
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\mu\)-calculusdecidabilitytree model propertyguarded logicautomata-theoretic methodguarded fixed point logicmonadic theory of countable trees
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (15)
Combining Theories: The Ackerman and Guarded Fragments ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Hyperresolution for guarded formulae ⋮ Bisimulation quantifiers and uniform interpolation for guarded first order logic ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ First-Order Resolution Methods for Modal Logics ⋮ Whither semantics? ⋮ Guarded Negation ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Unnamed Item ⋮ Guards, bounds, and generalized semantics ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ The semijoin algebra and the guarded fragment ⋮ Axiomatizing the monodic fragment of first-order temporal logic ⋮ Complexity of monodic guarded fragments over linear and real time
This page was built for publication:
