Linear GLP-algebras and their elementary theories

DOI10.1070/IM8440MaRDI QIDQ2966735zbMATH OpenFDO

Authors Fedor N. Pakhomov

Publication date 8 March 2017

Published in Izvestiya: Mathematics (Search for Journal in Brave)

zbMATH Keywords

free algebrasmodal algebraselementary theoriesprovability logicsJaparidze logic

Mathematics Subject Classification ID

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)

Recommendations

• On provability logics with linearly ordered modalities
• A topological study of the closed fragment of GLP
• On the positive fragment of the polymodal provability logic GLP
• Kripke semantics for provability logic GLP
• On the complexity of the closed fragment of Japaridze's provability logic

Cites work

• scientific article; zbMATH DE number 5037198 (Why is no real title available?)
• scientific article; zbMATH DE number 5046774 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
• Kripke semantics for provability logic GLP
• On propositional quantifiers in provability logic
• On provability logics with linearly ordered modalities
• On strong provability predicates and the associated modal logics
• Provability interpretations of modal logic
• The finite inseparability of the first-order theory of diagonalisable algebras
• The undecidability of the first-order theory of diagonalizable algebras
• Undecidability in diagonalizable algebras

Cited in

(3)

• On the positive fragment of the polymodal provability logic GLP
• On the reduction property for GLP-algebras
• Free algebras for Gödel-Löb provability logic

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)