Transition systems and dynamic semantics
- 6 September 1992
- book chapter
- Published by Springer Science and Business Media LLC
- 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 BV ,1995
- Comparative transition system semanticsLecture Notes in Computer Science, 1993
- Dynamic interpretation and hoare deductionJournal of Logic, Language and Information, 1992
- Dynamic predicate logicLinguistics and Philosophy, 1991
- Dynamic LogicPublished by Springer Science and Business Media LLC ,1984