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

DOI10.1070/IM8440zbMATH Open1402.03087MaRDI QIDQ2966735FDOQ2966735

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)

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)