This article is cited in 1 paper

Research papers

The temporal logic of inductive frames with linear time

V. F. Yun<sup>ab

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

Abstract: The polymodal decidable calculus in temporal language with four modalities is found which is complete with respect to the class of $Ind$-frames with linear time. It is proved that it is finite approximated by the class of finite $Ind$-frames with linear time.

Keywords: temporal logic, Kripke frames, axiomatization, finite model property.

UDC: 510.64

MSC: 03B44, 03B45

Received October 2, 2010, published December 1, 2010