A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
From MaRDI portal
Publication:3520237
DOI10.1093/LOGCOM/EXM085zbMATH Open1173.03018OpenAlexW2072343468MaRDI QIDQ3520237FDOQ3520237
Authors: Giovanna D'Agostino, Giacomo Lenzi 
Publication date: 15 August 2008
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exm085
Recommendations
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
- scientific article; zbMATH DE number 5295708
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
- Modal characterisation theorems over special classes of frames
Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Logic in computer science (03B70)
Cited In (11)
- One connection between standard invariance conditions on modal formulas and generalized quantifiers
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
- Forgetting in multi-agent modal logics
- Refinement modal logic
- Idempotent Transductions for Modal Logics
- On the \(\mu \)-calculus over transitive and finite transitive frames
- Bisimulation in inquisitive modal logic
- Modal characterisation theorems over special classes of frames
- Dynamics of lying
- Revocable belief revision
- Bisimulation safe fixed point logic
This page was built for publication: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520237)
