-levels of interpolation

DOI10.1007/978-3-319-69917-2_8zbMATH Open1429.03080OpenAlexW2791654523MaRDI QIDQ5214736FDOQ5214736

Authors: 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

Recommendations

• On modal \(\mu\)-calculus with explicit interpolants
• scientific article; zbMATH DE number 1215463
• \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Deciding the first levels of the modal \(\mu\) alternation hierarchy by formula construction

Mathematics Subject Classification ID

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

Cites Work

• On modal \(\mu\)-calculus with explicit interpolants
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• Rudiments of \(\mu\)-calculus
• Ambiguous classes in \(\mu\)-calculi hierarchies
• Games for the \(\mu\)-calculus
• A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus

Cited In (2)

• The interpolation problem in finite-layered pre-Heyting logics
• INTERPOLATION FOR FRESH PROBABILITY LEVELS BETWEEN THE STANDARD TABLE LEVELS OF A FUNCTION

This page was built for publication: \(\mu\)-levels of interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214736)