This article is cited in 1 paper

Mathematical logic, algebra and number theory

Polymodal logic of the class of inductive linear time frames

V. F. Yun<sup>ab

a</sup> Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
^b Novosibirsk State University

Abstract: A class of frames based on a class of $LTK$-frames is considered. The polymodal decidable calculus in modal language with three modalities is found which is complete with respect to the class of inductive nearly $LTK$-frames. It is proved that it is finite approximated by the class of finite inductive nearly $LTK$-frames.

Keywords: polymodal logic, Kripke frames, axiomatization, completeness, finite model property.

UDC: 510.64

MSC: 03B44, 03B45

Received March 15, 2015, published July 12, 2015

DOI: 10.17377/semi.2015.12.035