Publication:3922159
From MaRDI portal
zbMath0468.68038MaRDI QIDQ3922159
Publication date: 1981
complexity; models; axiomatisation; partial correctness; process logic; decision methods; dynamic algebra
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68Q65: Abstract data types; algebraic specification
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
00A15: Bibliographies for mathematics in general
Related Items
An essay in combinatory dynamic logic, PDL with data constants, TABLEAUX: A general theorem prover for modal logics, On models for propositional dynamic logic, Peirce algebras, The price of universality, Some applications of topology to program semantics