scientific article; zbMATH DE number 7439730
From MaRDI portal
Publication:5015268
zbMath1478.03064arXiv1609.04088MaRDI QIDQ5015268
Clemens Kupke, Nick Bezhanishvili
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1609.04088
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Games involving graphs (91A43) Fixed-point and coincidence theorems (topological aspects) (54H25) Logic in computer science (03B70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Sahlqvist theorem for modal fixed point logic
- Spatial logic of tangled closure operators and modal mu-calculus
- Completeness for flat modal fixpoint logics
- Duality and the completeness of the modal \(\mu\)-calculus
- Stone coalgebras
- Results on the propositional \(\mu\)-calculus
- Completions of \(\mu \)-algebras
- Topological games: on the 50th anniversary of the Banach-Mazur game
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Automata, logics, and infinite games. A guide to current research
- A dual characterization of subdirectly irreducible BAOs
- Sahlqvist preservation for topological fixed-point logic
- Vietoris Bisimulations
- Changing a Semantics: Opportunism or Courage?
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- Modal compact Hausdorff spaces
This page was built for publication:
