scientific article; zbMATH DE number 2099412

zbMATH Open1048.03016MaRDI QIDQ4815892FDOQ4815892

Authors: Evgeni E. Zolin 

Publication date: 8 September 2004

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• A modal interpretation of the logic of interrogation
• Interpretability degrees of finitely axiomatized sequential theories
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logics with the MacIntosh rule
• 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
• Modal logics with relative accessibility relations
• Stable modal logics
• Title not available (Why is that?)
• Inverse images of box formulas in modal logic
• Title not available (Why is that?)

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)