Linear GLP-algebras and their elementary theories

DOI10.1070/IM8440zbMATH Open1402.03087MaRDI QIDQ2966735FDOQ2966735

Authors: Fedor N. Pakhomov 

Publication date: 8 March 2017

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

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

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)

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?)

Cited In (3)

• On the reduction property for GLP-algebras
• On the positive fragment of the polymodal provability logic GLP
• 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)