Applying modal logic
- 1 January 1980
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 39 (2) , 275-295
- https://doi.org/10.1007/bf00370325
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977