Linear $ \mathrm{GLP}$-algebras and their elementary theories

DOI10.1070/IM8440zbMath1402.03087MaRDI QIDQ2966735

Fedor N. Pakhomov

Publication date: 8 March 2017

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

zbMATH Keywords

free algebrasprovability logicselementary theoriesmodal algebrasJaparidze 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On provability logics with linearly ordered modalities
• Kripke semantics for provability logic GLP
• The finite inseparability of the first-order theory of diagonalisable algebras
• The undecidability of the first-order theory of diagonalizable algebras
• Provability interpretations of modal logic
• On propositional quantifiers in provability logic
• Undecidability in diagonalizable algebras
• On strong provability predicates and the associated modal logics
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

This page was built for publication: Linear $ \mathrm{GLP}$-algebras and their elementary theories