A logic of capabilities
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 366-378
- https://doi.org/10.1007/3-540-58140-5_34
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Specification and Transformation of ProgramsPublished by Springer Nature ,1990
- Logics of ProgramsPublished by Elsevier ,1990
- Rewrite SystemsPublished by Elsevier ,1990
- Correspondence TheoryPublished by Springer Nature ,1984
- Dynamic LogicPublished by Springer Nature ,1984
- The propositional dynamic logic of deterministic, well-structured programsTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979