Linear \mathrm{GLP}-algebras and their elementary theories
From MaRDI portal
Publication:2966735
DOI10.1070/IM8440zbMATH Open1402.03087MaRDI QIDQ2966735FDOQ2966735
Publication date: 8 March 2017
Published in: Izvestiya: Mathematics (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- On strong provability predicates and the associated modal logics
- Title not available (Why is that?)
- Provability interpretations of modal logic
- The undecidability of the first-order theory of diagonalizable algebras
- On propositional quantifiers in provability logic
- Undecidability in diagonalizable algebras
- The finite inseparability of the first-order theory of diagonalisable algebras
- Kripke semantics for provability logic GLP
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
- On provability logics with linearly ordered modalities
- Title not available (Why is that?)
This page was built for publication: Linear $ \mathrm{GLP}$-algebras and their elementary theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2966735)