Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points

DOI10.1007/978-3-540-75144-1_8MaRDI QIDQ3613043zbMATH OpenOpenAlexFDO

Authors Giovanna D'Agostino

Publication date 11 March 2009

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75144-1_8

zbMATH Keywords

\(\mu\)-calculusbisimulationbisimulation quantifiersfixed points

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

• -programs, uniform interpolation and bisimulation quantifiers for modal logics
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• Uniform interpolation for propositional and modal team logics
• scientific article; zbMATH DE number 922620
• On modal -calculus with explicit interpolants

Cited in

(10)

• Uniform interpolation and coherence
• Fibrational bisimulations and quantitative reasoning
• Uniform interpolation via nested sequents
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• -programs, uniform interpolation and bisimulation quantifiers for modal logics
• scientific article; zbMATH DE number 1215463 (Why is no real title available?)
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• scientific article; zbMATH DE number 7437711 (Why is no real title available?)
• Uniform interpolation via nested sequents and hypersequents

This page was built for publication: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613043)