-levels of interpolation

DOI10.1007/978-3-319-69917-2_8MaRDI QIDQ5214736zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

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)