Transition systems and dynamic semantics
- 6 September 1992
- book chapter
- Published by Springer Nature
- p. 232-251
- https://doi.org/10.1007/bfb0023431
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Logic and the flow of informationPublished by Elsevier ,1995
- Comparative transition system semanticsPublished by Springer Nature ,1993
- Dynamic interpretation and hoare deductionJournal of Logic, Language and Information, 1992
- Dynamic predicate logicLinguistics and Philosophy, 1991
- Dynamic LogicPublished by Springer Nature ,1984