Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points

DOI10.1007/978-3-540-75144-1_8zbMath1226.03033OpenAlexW2178058247MaRDI QIDQ3613043

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

fixed points\(\mu\)-calculusbisimulationbisimulation quantifiers

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 (2)

Uniform interpolation via nested sequents ⋮ Uniform interpolation and coherence

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