A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames

DOI10.1093/LOGCOM/EXM085MaRDI QIDQ3520237zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

bisimulation quantifiersfixed pointsmu-calculustransitive framesuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80)

Recommendations

• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• scientific article; zbMATH DE number 5295708
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• -programs, uniform interpolation and bisimulation quantifiers for modal logics
• Modal characterisation theorems over special classes of frames

Cited in

(11)

• One connection between standard invariance conditions on modal formulas and generalized quantifiers
• Revocable belief revision
• Forgetting in multi-agent modal logics
• Bisimulation in inquisitive modal logic
• Idempotent Transductions for Modal Logics
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• Bisimulation safe fixed point logic
• Refinement modal logic
• Dynamics of lying
• On the \(\mu \)-calculus over transitive and finite transitive frames
• Modal characterisation theorems over special classes of frames

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)