Extensions of the provability logic

DOI10.1007/BF01157470zbMath0538.03023MaRDI QIDQ793006

A. Yu. Muravitskij

Publication date: 1983

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

provability logicuniversal classdiagonalizable algebras

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25)

Cites Work

• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• An ascending chain of S4 logics
• Modal logics with linear alternative relations

This page was built for publication: Extensions of the provability logic