Transition systems and dynamic semantics

  • Tim Fernando
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 633)


Transition systems over first-order models, first-order theories, and families of first-order models are constructed and examined in relation to dynamic semantics (more specifically, DPL, DRT and Update logic). Going the other direction, first-order models are extracted from transition systems, bringing full circle the connection between static and dynamic notions. Only states computationally accessible from an initial state (with minimal information content) are considered, motivating the introduction of an internal notion of proposition on which the concept of an update is analyzed.

Key words and phrases

transition system bisimulation dynamic semantics first-order logic updates 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Peter Aczel. Frege structures and the notions of proposition, truth and set. In The Kleene symposium. North-Holland, Amsterdam, 1980.Google Scholar
  2. 2.
    Jon Barwise. The situation in logic. CSLI Lecture Notes Number 17, Stanford, 1989.Google Scholar
  3. 3.
    Jon Barwise and John Etchemendy. The liar: an essay on truth and circularity. Oxford University Press, Oxford, 1987.Google Scholar
  4. 4.
    Johan van Benthem. Logic and the flow of information. In Proc. 9th International Congress of Logic, Methodology and Philosophy of Science. North-Holland, Amsterdam, to appear.Google Scholar
  5. 5.
    J. van Eijck and F.J. de Vries. A sound and complete calculus for update logic. Technical Report CS-R9155, Centre for Mathematics and Computer Science, 1991.Google Scholar
  6. 6.
    J. van Eijck and F.J. de Vries. Dynamic interpretation and Hoare deduction. Journal of Logic, Language and Information, 1, 1992.Google Scholar
  7. 7.
    Tim Fernando. Comparative transition system semantics. Manuscript, 1992.Google Scholar
  8. 8.
    Robert Goldblatt. Axiomatising the logic of computer programming. LNCS 130. Springer-Verlag, Berlin, 1982.Google Scholar
  9. 9.
    J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14, 1991.Google Scholar
  10. 10.
    Willem Groeneveld. Dynamic semantics and circular propositions. University of Amsterdam, ITLI Prepublication Series, LP-91-03, 1991.Google Scholar
  11. 11.
    David Harel. Dynamic logic. In Gabbay et al, editor, Handbook of Philosophical Logic, Volume 2. D. Reidel, 1984.Google Scholar
  12. 12.
    Irene Heim. The semantics of definite and indefinite noun phrases. Dissertation, University of Massachusetts, Amherst, 1982.Google Scholar
  13. 13.
    J.A.W. Kamp. A theory of truth and semantic representation. In Formal methods in the study of language. Mathematical Centre Tracts 135, Amsterdam, 1981.Google Scholar
  14. 14.
    Lauri Karttunen. Discourse referents. In J. McCawley, editor, Notes from the Linguistic Underground, Syntax and Semantics 7. Academic Press, New York, 1976.Google Scholar
  15. 15.
    H. Jerome Keisler. Forcing and the omitting types theorem. In M. Morley, editor, Studies in model theory. The Mathematical Association of America, 1973.Google Scholar
  16. 16.
    H. Jerome Keisler. Fundamentals of model theory. In J. Barwise, editor, Handbook of Mathematical Logic. North-Holland, Amsterdam, 1977.Google Scholar
  17. 17.
    Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Phil. Fennica, 16, 1963.Google Scholar
  18. 18.
    David Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proc. 5th GI Conference, LNCS 104. Springer-Verlag, Berlin, 1981.Google Scholar
  19. 19.
    Raymond Turner. Truth and Modality for Knowledge Representation. Pitman, London, 1990.Google Scholar
  20. 20.
    F. Veltman. Defaults in update semantics. In H. Kamp, editor, Conditionals, Defaults and Belief Revision. Edinburgh, Dyana deliverable R2.5.A, 1990.Google Scholar
  21. 21.
    C.F.M. Vermeulen. Sequence semantics for dynamic logic. Technical report, Philosophy Department, Utrecht, 1991.Google Scholar
  22. 22.
    Albert Visser, Actions under presuppositions. Technical report, Philosophy Department, Utrecht, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Tim Fernando
    • 1
  1. 1.CWIAB AmsterdamThe Netherlands

Personalised recommendations