Deciding the existence of uniform interpolants over transitive models

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

zbMATH Keywords

fixed pointsmodal mu-calculusmodal logic K4transitive framesuniform interpolants

Mathematics Subject Classification ID

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