Publication:3957927
From MaRDI portal
zbMath0494.68032MaRDI QIDQ3957927
Joseph Y. Halpern, Piotr Berman, Jerzy Tiuryn
Publication date: 1982
68Q45: Formal languages and automata
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68Q65: Abstract data types; algebraic specification
Related Items
The propositional dynamic logic of deterministic, well-structured programs, Equivalences among logics of programs, The unwind property for programs with bounded memory, A nondeterministic program logic, Some relationships between logics of programs and complexity theory, Role of determinism in query languages for data bases, A simplified proof of \(DDL<DL\)