Deciding the existence of uniform interpolants over transitive models
From MaRDI portal
Publication:627437
DOI10.1007/S00153-010-0208-5zbMath1209.03012OpenAlexW2052270601MaRDI 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
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Interpolation, preservation, definability (03C40)
Cites Work
- Unnamed Item
- 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
This page was built for publication: Deciding the existence of uniform interpolants over transitive models