Definability in dynamic logic
- 1 October 1981
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 23 (2), 279-298
- https://doi.org/10.1016/0022-0000(81)90016-7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Finiteness is mu-ineffableTheoretical Computer Science, 1976
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960