Deciding the existence of uniform interpolants over transitive models
From MaRDI portal
Publication:627437
DOI10.1007/s00153-010-0208-5zbMath1209.03012MaRDI QIDQ627437
Giovanna D'Agostino, Giacomo Lenzi
Publication date: 2 March 2011
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0208-5
03B45: Modal logic (including the logic of norms)
03B44: Temporal logic
03C40: Interpolation, preservation, definability
Cites Work
- Results on the propositional \(\mu\)-calculus
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Algebra for Infinite Forests with an Application to the Temporal Logic EF
- The modalμ-calculus hierarchy over restricted classes of transition systems
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Unnamed Item