Application of modal logic to programming
- 1 January 1980
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 39 (2-3) , 257-274
- https://doi.org/10.1007/bf00370324
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The connection between modal logic and algorithmic logicsPublished by Springer Nature ,1978
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- Lucid, a nonprocedural language with iterationCommunications of the ACM, 1977
- On the proper treatment or referencing, dereferencing and assignmentPublished by Springer Nature ,1977
- On the theory of programming logicsPublished by Association for Computing Machinery (ACM) ,1977
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- Strong verification of programsIEEE Transactions on Software Engineering, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- First-Order LogicPublished by Springer Nature ,1968
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963