$$\mu $$ μ -Levels of Interpolation

DOI10.1007/978-3-319-69917-2_8zbMath1429.03080OpenAlexW2791654523MaRDI QIDQ5214736

Giovanna D'Agostino

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items (1)

The interpolation problem in finite-layered pre-Heyting logics

Cites Work

• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• Games for the \(\mu\)-calculus
• Ambiguous classes in \(\mu\)-calculi hierarchies
• On modal \(\mu\)-calculus with explicit interpolants
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
• Rudiments of \(\mu\)-calculus

This page was built for publication: $$\mu $$ μ -Levels of Interpolation