论文信息 - Temporal logics of "the next" do not have the Beth property

Temporal logics of "the next" do not have the Beth property

ABSTRACT There are considered temporal logics based on integers or natural numbers as moments of lime. It is proved that these logics have neither the Beth property nor the Craig interpolation property.

Larisa Maksimova

[1] Hiroya Kawai,et al. Sequential Calculus for a First Order Infinitary Temporal Logic , 1987, Math. Log. Q..

[2] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .

[3] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.

[4] István Németi,et al. Nonstandard Dynamic Logic , 1981, Logic of Programs.

[5] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..