Arithmetical completeness in first-order dynamic logic for concurrent programs
From MaRDI portal
Publication:1155351
DOI10.2977/prims/1195186718zbMath0466.68023MaRDI QIDQ1155351
Publication date: 1981
Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2977/prims/1195186718
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items
Cites Work