On Elementary Theories of GLP-Algebras

MaRDI QIDQ6257271zbMATH OpenFDO

Authors Fedor N. Pakhomov

Publication date 14 December 2014

Mathematics Subject Classification ID

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

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$.

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)