Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
From MaRDI portal
Publication:5214737
DOI10.1007/978-3-319-69917-2_9zbMath1429.03083OpenAlexW2789748635MaRDI QIDQ5214737
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_9
difference logicweak interpolation propertydeductive interpolation propertyweakly transitive modal logic
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)
Related Items (1)
Cites Work
- Weak interpolation in extensions of the logics S4 and K4
- Interpolation properties in the extensions of the logic of inequality
- Simple weakly transitive modal algebras
- Interpolation in weakly transitive modal logics
- Undecidable properties of extensions of the logic of provability
- Modal definability in enriched languages
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Interpolation theorems in modal logics. Sufficient conditions
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- Definability and interpolation in non-classical logics
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Topological Modal Logics with Difference Modality
- A weak form of interpolation in equational logic
- The lattice of modal logics: an algebraic investigation
- Splitting lattices of logics
- The modal logic of inequality
- « Everywhere » and « here »
- An incomplete logic containing S4
- An incompleteness theorem in modal logic
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Boolean Algebras with Operators. Part I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
