×

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.

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