zbMATH — the first resource for mathematics

Algorithmic logic can express progressive behavior of programs. (English) Zbl 0601.03007
Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 615-622 (1986).
[For the entire collection see Zbl 0593.00024.]
In the paper we shall investigate modal constructs ”during”, ”preserve”, ”throughout”. The main result states that all of them are expressible in the language of nondeterministic algorithmic logic.

03B70 Logic in computer science
68Q60 Specification and verification (program logics, model checking, etc.)
03B45 Modal logic (including the logic of norms)