A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames

DOI10.1093/logcom/exm085zbMath1173.03018OpenAlexW2072343468MaRDI QIDQ3520237

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

fixed pointsmu-calculusuniform interpolationbisimulation quantifierstransitive frames

Mathematics Subject Classification ID

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

Related Items (5)

On the \(\mu \)-calculus over transitive and finite transitive frames ⋮ Refinement modal logic ⋮ Dynamics of lying ⋮ Revocable belief revision ⋮ Forgetting in multi-agent modal logics

This page was built for publication: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames