On Elementary Theories of GLP-Algebras

arXiv1412.4439MaRDI QIDQ6257271FDOQ6257271

Authors: Fedor N. Pakhomov 

Publication date: 14 December 2014

Abstract: There is a polymodal provability logic $GLP$. We consider generalizations of this logic: the logics $GL{P}_{alpha}$, where $alpha$ ranges over linear ordered sets and play the role of the set of indexes of modalities. We consider the varieties of modal algebras that corresponds to the polymodal logics. We prove that the elementary theories of the free $emptyset$-generated $GL{P}_n$ -algebras are decidable for all finite ordinals $n$.

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: On Elementary Theories of GLP-Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6257271)