μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★

DOI10.3166/jancl.16.297-309zbMath1186.03054OpenAlexW1975054948WikidataQ126266246 ScholiaQ126266246MaRDI QIDQ3647242

Giacomo Lenzi, Giovanna D'Agostino, Tim French

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.16.297-309

zbMATH Keywords

modal logicsbisimulation quantifiersuniform interpolations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

The Complexity of One-Agent Refinement Modal Logic ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Semantics for knowledge and change of awareness ⋮ An Alternative Logic for Knowability ⋮ An Epistemic Predicate CTL* for Finite Control π-Processes ⋮ Introspective forgetting ⋮ Forgetting in multi-agent modal logics ⋮ Some Formal Semantics for Epistemic Modesty

Cites Work

• Unnamed Item
• Undefinability of propositional quantifiers in the modal system S4
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

This page was built for publication: μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★