-levels of interpolation
From MaRDI portal
Publication:5214736
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
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)
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)