Algorithmic logic can express progressive behavior of programs. (English) Zbl 0601.03007

Mirkowska, G.; Stapp, L.

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)

Keywords:

logics of programs; modal constructs; nondeterministic algorithmic logic