μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
From MaRDI portal
Publication:3647242
DOI10.3166/jancl.16.297-309zbMath1186.03054WikidataQ126266246 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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Some Formal Semantics for Epistemic Modesty, Introspective forgetting, Semantics for knowledge and change of awareness, Forgetting in multi-agent modal logics, An Epistemic Predicate CTL* for Finite Control π-Processes, The Complexity of One-Agent Refinement Modal Logic, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, An Alternative Logic for Knowability
Cites Work