scientific article; zbMATH DE number 3591393
From MaRDI portal
zbMath0379.68048MaRDI QIDQ4158490
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Model theory (03C99) General topics in the theory of software (68N01)
Related Items
Application of modal logic to programming, Compositional reasoning using intervals and time reversal