Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 1992: Logics in AI pp 232–251Cite as

Transition systems and dynamic semantics

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 633))

Abstract

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.

This work was funded by the Netherlands Organization for Scientific Research (NWO project NF 102/62-356, ‘Structural and Semantic Parallels in Natural Languages and Programming Languages’). The author is gratefully indebted to J. van Benthem, J. van Eijck, C. Gardent, M. Kracht, W. Meyer-Viol and K. Vermeulen for helpful discussions and to CWI for refuge.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Peter Aczel. Frege structures and the notions of proposition, truth and set. In The Kleene symposium. North-Holland, Amsterdam, 1980.

    Google Scholar 

  2. Jon Barwise. The situation in logic. CSLI Lecture Notes Number 17, Stanford, 1989.

    Google Scholar 

  3. Jon Barwise and John Etchemendy. The liar: an essay on truth and circularity. Oxford University Press, Oxford, 1987.

    Google Scholar 

  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. 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. J. van Eijck and F.J. de Vries. Dynamic interpretation and Hoare deduction. Journal of Logic, Language and Information, 1, 1992.

    Google Scholar 

  7. Tim Fernando. Comparative transition system semantics. Manuscript, 1992.

    Google Scholar 

  8. Robert Goldblatt. Axiomatising the logic of computer programming. LNCS 130. Springer-Verlag, Berlin, 1982.

    Google Scholar 

  9. J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14, 1991.

    Google Scholar 

  10. Willem Groeneveld. Dynamic semantics and circular propositions. University of Amsterdam, ITLI Prepublication Series, LP-91-03, 1991.

    Google Scholar 

  11. David Harel. Dynamic logic. In Gabbay et al, editor, Handbook of Philosophical Logic, Volume 2. D. Reidel, 1984.

    Google Scholar 

  12. Irene Heim. The semantics of definite and indefinite noun phrases. Dissertation, University of Massachusetts, Amherst, 1982.

    Google Scholar 

  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. 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. 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. H. Jerome Keisler. Fundamentals of model theory. In J. Barwise, editor, Handbook of Mathematical Logic. North-Holland, Amsterdam, 1977.

    Google Scholar 

  17. Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Phil. Fennica, 16, 1963.

    Google Scholar 

  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. Raymond Turner. Truth and Modality for Knowledge Representation. Pitman, London, 1990.

    Google Scholar 

  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. C.F.M. Vermeulen. Sequence semantics for dynamic logic. Technical report, Philosophy Department, Utrecht, 1991.

    Google Scholar 

  22. Albert Visser, Actions under presuppositions. Technical report, Philosophy Department, Utrecht, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CWI, P.O. Box 4079, 1009, AB Amsterdam, The Netherlands

    Tim Fernando

Authors
  1. Tim Fernando
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Pearce G. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernando, T. (1992). Transition systems and dynamic semantics. In: Pearce, D., Wagner, G. (eds) Logics in AI. JELIA 1992. Lecture Notes in Computer Science, vol 633. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023431

Download citation

  • DOI: https://doi.org/10.1007/BFb0023431

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55887-3

  • Online ISBN: 978-3-540-47304-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation