scientific article; zbMATH DE number 2099412
From MaRDI portal
Publication:4815892
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
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)