This article is cited in 3 papers

Research papers

Temporal logic of linear time frames with inductions axiom

V. F. Yun

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: A class of frames based on a class of frames with discrete linear time with current time point clusters is considered. The temporal calculus $\mathbf{LInd}$ is found which is complete with respect to this class. It is proved that $\mathbf{LInd}$ has the finite model property and therefore it is decidable.

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

UDC: 510.64

MSC: 03B44, 03B45

Received June 5, 2009, published October 28, 2009

Bibliographic databases:

•