Back and forth between guarded and modal logics

  title={Back and forth between guarded and modal logics},
  author={Erich Gr{\"a}del and Colin Hirsch and Martin Otto},
  journal={ACM Trans. Comput. Log.},
Guarded fixed-point logic μGF extends the guarded fragment by means of least and greatest fixed points, and thus plays the same role within the domain of guarded logics as the modal μ-calculus plays within the modal domain. We provide a semantic characterization of μGF within an appropriate fragment of second-order logic, in terms of invariance under guarded bisimulation. The corresponding characterization of the modal μ-calculus, due to Janin and Walukiewicz, is lifted from the modal to the… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
3 Extracted Citations
0 Extracted References
Similar Papers