scientific article; zbMATH DE number 2099412

MaRDI QIDQ4815892zbMATH OpenFDO

Authors Evgeni E. Zolin

Publication date 8 September 2004

zbMATH Keywords

modal logicsrelative interpretability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Modal Matters for Interpretability Logics
• scientific article; zbMATH DE number 4061199
• scientific article; zbMATH DE number 67039
• scientific article; zbMATH DE number 218496
• A generalized notion of weak interpretability and the corresponding modal logic
• Modal logics with relative accessibility relations
• scientific article; zbMATH DE number 975275
• Interpretability logics and generalised Veltman semantics
• Modal logics for mereotopological relations
• Some correspondences of principles in interpretability logic

Cited in

(13)

• A modal interpretation of the logic of interrogation
• scientific article; zbMATH DE number 67039 (Why is no real title available?)
• Modal logics with relative accessibility relations
• Modal logics with the MacIntosh rule
• scientific article; zbMATH DE number 4061199 (Why is no real title available?)
• Inverse images of box formulas in modal logic
• Stable modal logics
• On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
• On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• Interpretability degrees of finitely axiomatized sequential theories
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• scientific article; zbMATH DE number 5029987 (Why is no real title available?)

This page was built for publication:

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