{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:58:16Z","timestamp":1748350696184},"reference-count":140,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80033-6","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"499-600","source":"Crossref","is-referenced-by-count":5,"title":["The gamut of dynamic logics"],"prefix":"10.1016","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Stokhof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80033-6_bib1","series-title":"Words, Proofs and Diagrams","first-page":"167","article-title":"Conceptual covers in dynamic semantics","author":"Aloni","year":"2002"},{"issue":"4","key":"10.1016\/S1874-5857(06)80033-6_bib2","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","article-title":"Ten years of Hoare's logic: A survey Part I","volume":"3","author":"Apt","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1874-5857(06)80033-6_bib3","series-title":"The Logic Programming Paradigm: A 25 Year Perspective","first-page":"75","article-title":"Formulas as programs","author":"Apt","year":"1999"},{"key":"10.1016\/S1874-5857(06)80033-6_bib4","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","article-title":"Hybrid logics: Characterization, interpolation and complexity","volume":"66","author":"Areces","year":"2001","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"10.1016\/S1874-5857(06)80033-6_bib5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","article-title":"A logic for suspicious players: Epistemic action and belief-updates in games","volume":"54","author":"Baltag","year":"2002","journal-title":"Bulletin of Economic Research"},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80033-6_bib7","article-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag","year":"1999"},{"key":"10.1016\/S1874-5857(06)80033-6_bib8","article-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag","year":"2003"},{"key":"10.1016\/S1874-5857(06)80033-6_bib9","series-title":"Generalized Quantifiers: Linguistic and Logical Approaches","first-page":"1","article-title":"Noun phrases, generalized quantifiers and anaphora","author":"Barwise","year":"1987"},{"key":"10.1016\/S1874-5857(06)80033-6_bib10","series-title":"Situations and, Attitudes","author":"Barwise","year":"1983"},{"key":"10.1016\/S1874-5857(06)80033-6_bib11","series-title":"Handbook of Logic and Language","first-page":"939","article-title":"Presupposition","author":"Beaver","year":"1997"},{"key":"10.1016\/S1874-5857(06)80033-6_bib12","series-title":"Facing the Future","author":"Belnap","year":"2001"},{"key":"10.1016\/S1874-5857(06)80033-6_bib13","series-title":"Proceedings of the sixth conference of the European chapter of the Association for Computational Linguistics, Utrecht","first-page":"21","article-title":"Talking about trees","author":"Blackburn","year":"1993"},{"key":"10.1016\/S1874-5857(06)80033-6_bib14","series-title":"Modal Logic. Vol. 53 of Cambridge Tracts in Theoretical Computer Science","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1874-5857(06)80033-6_bib15","series-title":"An investigation of the laws of thouqht, on which are founded the mathematical theories of logic and probabilities","author":"Boole","year":"1854"},{"key":"10.1016\/S1874-5857(06)80033-6_bib16","series-title":"The Syntax and Semantics of Split Constructions","author":"Butler","year":"2004"},{"key":"10.1016\/S1874-5857(06)80033-6_bib17","series-title":"Model Theory","author":"Chang","year":"1973"},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib18","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00635805","article-title":"Anaphora and dynamic binding","volume":"15","author":"Chierchia","year":"1992","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib19","series-title":"Dynamics of Meaning","author":"Chierchia","year":"1995"},{"key":"10.1016\/S1874-5857(06)80033-6_bib20","series-title":"Logic of Programs Workshop, number 131 in LNCS","article-title":"Synthesis of synchronisation skeletons for branching time temporal logic","author":"Clarke","year":"1982"},{"key":"10.1016\/S1874-5857(06)80033-6_bib21","series-title":"A Decade of Concurrency","first-page":"124","article-title":"Verification tools for finite-state concurrent systems","author":"Clarke","year":"1994"},{"issue":"1","key":"10.1016\/S1874-5857(06)80033-6_bib22","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","article-title":"Soundness and completeness of an axiom system for program verification","volume":"7","author":"Cook","year":"1978","journal-title":"SIAM Journal of Computing"},{"key":"10.1016\/S1874-5857(06)80033-6_bib23","series-title":"Introduction to Lattices and Order","author":"Davey","year":"2002"},{"key":"10.1016\/S1874-5857(06)80033-6_bib24","series-title":"Proceedings of the Fourth SALT Conference, Cornell Working Papers in Linguistics","first-page":"79","article-title":"Predicate logic with anaphora (seven inch version)","author":"Dekker","year":"1994"},{"key":"10.1016\/S1874-5857(06)80033-6_bib25","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00628200","article-title":"The values of variables in dynamic semantics","volume":"19","author":"Dekker","year":"1996","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib26","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1017575313451","article-title":"Meaning and use of indefinite expressions","volume":"11","author":"Dekker","year":"2002","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib27","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1874-5857(06)80033-6_bib28","series-title":"Proceedings AMS Symposium Applied Mathematics","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meanings to programs","author":"Floyd","year":"1967"},{"key":"10.1016\/S1874-5857(06)80033-6_bib29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/bjps\/35.1.1","article-title":"The dynamics of belief as a basis for logic","volume":"35","author":"Gardenfors","year":"1984","journal-title":"British Journal for the Philosophy of Science"},{"key":"10.1016\/S1874-5857(06)80033-6_bib30","article-title":"Bisimulations on planet Kripke","author":"Gerbrandy","year":"1999"},{"key":"10.1016\/S1874-5857(06)80033-6_bib31","series-title":"Logic, Language and Information, Vol. 2","first-page":"67","article-title":"Dynamic epistemic logic","author":"Gerbrandy","year":"1999"},{"key":"10.1016\/S1874-5857(06)80033-6_bib32","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1023\/A:1014435213120","article-title":"The dynamic turn in twentieth century logic","volume":"130","author":"Gochet","year":"2002","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80033-6_bib33","series-title":"Logic and the Modalities in the Twentieth Century","first-page":"101","article-title":"Epistemic logic","author":"Gochet","year":"2005"},{"key":"10.1016\/S1874-5857(06)80033-6_bib34","series-title":"Axiomatising the Logic of Computer Programming","author":"Goldblatt","year":"1982"},{"key":"10.1016\/S1874-5857(06)80033-6_bib35","article-title":"Logics of Time and Computation, Second Edition, Revised and Expanded","author":"Goldblatt","year":"1992"},{"key":"10.1016\/S1874-5857(06)80033-6_bib36","series-title":"Programming Language Theory and Its Implementation: Applicative and Imperative Paradigms","author":"Gordon","year":"1988"},{"key":"10.1016\/S1874-5857(06)80033-6_bib37","series-title":"The Science of Programming","author":"Gries","year":"1981"},{"key":"10.1016\/S1874-5857(06)80033-6_bib38","series-title":"Proceedings of SALT IX, Santa Cruz","first-page":"109","article-title":"The logic of interrogation: Classical version","author":"Groenendijk","year":"1999"},{"key":"10.1016\/S1874-5857(06)80033-6_bib39","series-title":"Papers from The Second Symposium on Logic and Language","first-page":"3","article-title":"Dynamic Montague grammar","author":"Groenendijk","year":"1990"},{"key":"10.1016\/S1874-5857(06)80033-6_bib40","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","article-title":"Dynamic predicate logic","volume":"14","author":"Groenendijk","year":"1991","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib41","series-title":"Reference and Anaphoric Relations","first-page":"47","article-title":"Meaning in motion","author":"Groenendijk","year":"2000"},{"key":"10.1016\/S1874-5857(06)80033-6_bib42","series-title":"Language, Logic and Computation: The 1994 Moraga Proceedings","first-page":"255","article-title":"This might be it","author":"Groenendijk","year":"1995"},{"key":"10.1016\/S1874-5857(06)80033-6_bib43","series-title":"Handbook of Contemporary Semantic Theory","first-page":"179","article-title":"Coreference and modality","author":"Groenendijk","year":"1996"},{"key":"10.1016\/S1874-5857(06)80033-6_bib44","article-title":"Logical Investigations into Dynamic Semantics","author":"Groeneveld","year":"1995"},{"key":"10.1016\/S1874-5857(06)80033-6_bib45","series-title":"Unsolved Problems in Number Theory","author":"Guy","year":"1981"},{"key":"10.1016\/S1874-5857(06)80033-6_bib46","series-title":"Reasoning about Knowledge","author":"Halpern","year":"1995"},{"key":"10.1016\/S1874-5857(06)80033-6_bib47","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","article-title":"First-Order Dynamic Logic","author":"Harel","year":"1979"},{"key":"10.1016\/S1874-5857(06)80033-6_bib48","series-title":"Handbook of Philosophical Logic, Volume II","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/S1874-5857(06)80033-6_bib49","series-title":"Dynamic Logic. Foundations of Computing","author":"Harel","year":"2000"},{"key":"10.1016\/S1874-5857(06)80033-6_bib50","series-title":"Pre- and postcondition reasoning in DFOL","author":"Heguiabehere","year":"2001"},{"key":"10.1016\/S1874-5857(06)80033-6_bib51","article-title":"The Semantics of Definite and Indefinite Noun Phrases","author":"Heim","year":"1982"},{"key":"10.1016\/S1874-5857(06)80033-6_bib52","series-title":"Meaning, Use, and Interpretation of Language","first-page":"164","article-title":"File-change semantics and the familiarity theory of definiteness","author":"Heim","year":"1983"},{"key":"10.1016\/S1874-5857(06)80033-6_bib53","series-title":"Basic Simple Type Theory","author":"Roger Hindley","year":"1997"},{"key":"10.1016\/S1874-5857(06)80033-6_bib54","series-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962"},{"key":"10.1016\/S1874-5857(06)80033-6_bib55","series-title":"The Game of Language","author":"Hintikka","year":"1983"},{"issue":"10","key":"10.1016\/S1874-5857(06)80033-6_bib56","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1874-5857(06)80033-6_bib57","article-title":"Equational axioms of test algebra","volume":"172","author":"Hollenberg","year":"1996"},{"key":"10.1016\/S1874-5857(06)80033-6_bib58","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1008271805106","article-title":"An equational axiomatisation of dynamic negation and relational composition","volume":"6","author":"Hollenberg","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib59","article-title":"Logic and Bisimulation","author":"Hollenberg","year":"1998"},{"key":"10.1016\/S1874-5857(06)80033-6_bib60","article-title":"Dynamic negation, the one and only","volume":"179","author":"Hollenberg","year":"1997"},{"key":"10.1016\/S1874-5857(06)80033-6_bib61","series-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"Huth","year":"2000"},{"key":"10.1016\/S1874-5857(06)80033-6_bib62","series-title":"CONCUR '96: Concurrency Theory, Proceedings of the 7th International Conference on Concurrency Theory","first-page":"263","article-title":"On the expressive completeness of the propositional mil-calculus with respect to monadic second order logic","author":"Janin","year":"1996"},{"key":"10.1016\/S1874-5857(06)80033-6_bib63","series-title":"Dynamic Montague Grammar lite","author":"Jansche","year":"1998"},{"key":"10.1016\/S1874-5857(06)80033-6_bib64","series-title":"Haskell 98 Language and Libraries; The Revised Report","author":"Peyton Jones","year":"2003"},{"key":"10.1016\/S1874-5857(06)80033-6_bib65","series-title":"Formal Methods in the Study of Language","article-title":"A theory of truth and semantic representation","author":"Kamp","year":"1981"},{"key":"10.1016\/S1874-5857(06)80033-6_bib66","series-title":"Partial and Dynamic Semantics, Part I. Dyana Deliverable 2.1.A","first-page":"109","article-title":"Comments on: J. Groenendijk & M. Stokhof, Dynamic Predicate Logic","author":"Kamp","year":"1990"},{"key":"10.1016\/S1874-5857(06)80033-6_bib67","series-title":"From Discourse to Logic","author":"Kamp","year":"1993"},{"key":"10.1016\/S1874-5857(06)80033-6_bib68","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00984775","article-title":"Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting","volume":"17","author":"Kanazawa","year":"1994","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib69","series-title":"Syntax and Semantics 7","first-page":"363","article-title":"Discourse referents","author":"Karttunen","year":"1976"},{"key":"10.1016\/S1874-5857(06)80033-6_bib70","series-title":"Proceedings of the Tenth Amsterdam Colloquium","first-page":"479","article-title":"A type-theoretic semantics for \u03bb-DRT","author":"Kohlhase","year":"1996"},{"key":"10.1016\/S1874-5857(06)80033-6_bib71","series-title":"Reduction axioms for epistemic actions","author":"Kooi","year":"2004"},{"issue":"333 354","key":"10.1016\/S1874-5857(06)80033-6_bib72","article-title":"Results on the propositional \u03bc-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80033-6_bib73","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01048404","article-title":"Syntactic codes and grammar refinement","volume":"4","author":"Kracht","year":"1995","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib74","article-title":"Dynamic Meaning and Accommodation","author":"Kuschert","year":"2000"},{"key":"10.1016\/S1874-5857(06)80033-6_bib75","series-title":"Perspectives on Dialogue in the New Millenium","article-title":"Imperatives in dialogue","author":"Lascarides","year":"2003"},{"key":"10.1016\/S1874-5857(06)80033-6_bib76","series-title":"Proceedings of PODS","first-page":"13","article-title":"XCPath, the first order complete XPath dialect","author":"Marx","year":"2004"},{"key":"10.1016\/S1874-5857(06)80033-6_bib77","doi-asserted-by":"crossref","DOI":"10.1016\/0022-0000(78)90014-4","article-title":"A theory of type polymorphism in programming","volume":"17","author":"Milner","year":"1978","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1874-5857(06)80033-6_bib78","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80033-6_bib79","series-title":"Approaches to Natural Language","first-page":"221","article-title":"The proper treatment of quantification in ordinary English","author":"Montague","year":"1973"},{"key":"10.1016\/S1874-5857(06)80033-6_bib80","series-title":"Formal Philosophy; Selected Papers of Richard Montague","first-page":"188","article-title":"English as a formal language","author":"Montague","year":"1974"},{"key":"10.1016\/S1874-5857(06)80033-6_bib81","series-title":"Proceedings 9th Amsterdam Colloquium","first-page":"467","article-title":"A compositional discourse representation theory","author":"Muskens","year":"1994"},{"key":"10.1016\/S1874-5857(06)80033-6_bib82","series-title":"Lexical Knowledge in the Organization of Language","first-page":"147","article-title":"Tense and the logic of change","author":"Muskens","year":"1995"},{"key":"10.1016\/S1874-5857(06)80033-6_bib83","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00635836","article-title":"Combining Montague Semantics and Discourse Representation","volume":"19","author":"Muskens","year":"1996","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib84","series-title":"Semantics with Applications: A Formal Introduction","author":"Nielson","year":"1992"},{"key":"10.1016\/S1874-5857(06)80033-6_bib85","series-title":"Proceedings of the Seventh, Symposium on the Mathematical Foundations of Computer Science, 1978","first-page":"403","article-title":"The completeness of propositional dynamic logic","author":"Parikh","year":"1978"},{"key":"10.1016\/S1874-5857(06)80033-6_bib86","series-title":"Handbook of Logic and Linguistics","first-page":"5","article-title":"Montague grammar","author":"Partee","year":"1997"},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib87","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","article-title":"An essay in combinatory dynamic logic","volume":"93","author":"Passy","year":"1991","journal-title":"Inf. Comput."},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib88","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1027354826364","article-title":"Game logic: An overview","volume":"75","author":"Pauly","year":"2003","journal-title":"Stadia Loqica"},{"key":"10.1016\/S1874-5857(06)80033-6_bib89","series-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems held in Charlotte, NC","first-page":"201","article-title":"Logics of public communications","author":"Plaza","year":"1989"},{"key":"10.1016\/S1874-5857(06)80033-6_bib90","series-title":"Structural Operational Semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/S1874-5857(06)80033-6_bib91","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","article-title":"A temporal logic of programs","volume":"13","author":"Pnueli","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80033-6_bib92","series-title":"Proceedings 17th IEEE Symposium, on Foundations of Computer Science","first-page":"109","article-title":"Semantical considerations on Floyd Hoare logic","author":"Pratt","year":"1976"},{"key":"10.1016\/S1874-5857(06)80033-6_bib93","series-title":"Proceedings 10th Annual ACM Symposium On Theory of Computation","first-page":"326","article-title":"A practical derision method for propositional dynamic logic (Preliminary Report)","author":"Pratt","year":"1978"},{"key":"10.1016\/S1874-5857(06)80033-6_bib94","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00370324","article-title":"Application of modal logic to programming","volume":"39","author":"Pratt","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80033-6_bib95","series-title":"Time and Modality","author":"Prior","year":"1957"},{"key":"10.1016\/S1874-5857(06)80033-6_bib96","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/S1874-5857(06)80033-6_bib97","article-title":"Exploring the update universe","author":"Ruan","year":"2004"},{"key":"10.1016\/S1874-5857(06)80033-6_bib98","series-title":"Denotational Semantics: A Methodology for Language Development","author":"Schmidt","year":"1986"},{"key":"10.1016\/S1874-5857(06)80033-6_bib99","series-title":"Universal Algebra and Applications","first-page":"36","article-title":"A completeness theorem in the modal logic of programs","author":"Segerberg","year":"1982"},{"key":"10.1016\/S1874-5857(06)80033-6_bib100","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01028968","article-title":"Getting started: Beginnings in the logic of action","volume":"51","author":"Segerberg","year":"1992","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80033-6_bib101","series-title":"Semantics and Philosophy","first-page":"197","article-title":"Pragmatic presuppositions","author":"Stalnaker","year":"1974"},{"key":"10.1016\/S1874-5857(06)80033-6_bib102","series-title":"Syntax and Semantics Vol.9: Pragmatics","first-page":"315","article-title":"Assertion","author":"Stalnaker","year":"1979"},{"key":"10.1016\/S1874-5857(06)80033-6_bib103","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1008254815298","article-title":"On the representation of context","volume":"7","author":"Stalnaker","year":"1998","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib104","series-title":"Neue Forschungen zur Wortbildung und Historiographie der Linguistik","first-page":"239","article-title":"Zur Semantik indefiniter Terme","author":"Staudacher","year":"1987"},{"key":"10.1016\/S1874-5857(06)80033-6_bib105","series-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"Stoy","year":"1977"},{"issue":"1\/2","key":"10.1016\/S1874-5857(06)80033-6_bib106","first-page":"124","article-title":"Propositional dynamic logic of looping and converse is elementarily decidable","volume":"54","author":"Streett","year":"1982","journal-title":"Information and Control"},{"issue":"3","key":"10.1016\/S1874-5857(06)80033-6_bib107","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","article-title":"An automata theoretic decision procedure for the propositional mu-calculus","volume":"81","author":"Streett","year":"1989","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(06)80033-6_bib108","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80033-6_bib109","series-title":"Proceedings of the Thirteenth Amsterdam Colloquium, December 17-19, 2001","first-page":"61","article-title":"Expressivity of extensions of dynamic predicate logic","author":"ten Cate","year":"2001"},{"key":"10.1016\/S1874-5857(06)80033-6_bib110","first-page":"230","article-title":"On computable real numbers, with an application to the Entscheidung problems","volume":"2","author":"Turing","year":"1936"},{"key":"10.1016\/S1874-5857(06)80033-6_bib111","article-title":"Modal Correspondence Theory","author":"van Benthem","year":"1976"},{"issue":"2","key":"10.1016\/S1874-5857(06)80033-6_bib112","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/A:1005072201319","article-title":"Programming operations that are safe for bisimulation","volume":"60","author":"van Benthem","year":"1994","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80033-6_bib113","series-title":"Exploring Logical Dynamics","author":"van Benthem","year":"1990"},{"key":"10.1016\/S1874-5857(06)80033-6_bib114","article-title":"Tarskian variations. dynamic parameters in classical semantics","author":"van Benthem","year":"1994"},{"key":"10.1016\/S1874-5857(06)80033-6_bib115","series-title":"Handbook, of Logic and Linguistics","first-page":"587","article-title":"Dynamics","author":"van Benthem","year":"1997"},{"key":"10.1016\/S1874-5857(06)80033-6_bib116","first-page":"409","article-title":"An update semantics for deontic reasoning","author":"van der Torre","year":"1998"},{"issue":"5","key":"10.1016\/S1874-5857(06)80033-6_bib117","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1093\/jigpal\/5.5.623","article-title":"Typed logics with states","volume":"5","author":"van Eijck","year":"1997","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80033-6_bib118","first-page":"103","article-title":"Axiomatising dynamic logics for anaphora","volume":"1","author":"van Eijck","year":"1999","journal-title":"Journal of Language and Computation"},{"key":"10.1016\/S1874-5857(06)80033-6_bib119","series-title":"Computational Linguistics in the Netherlands 1999: Selected Papers from the Tenth CLIN Meeting","first-page":"41","article-title":"The proper treatment of context in NL","author":"van Eijck","year":"2000"},{"key":"10.1016\/S1874-5857(06)80033-6_bib120","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1011251627260","article-title":"Incremental dynamics","volume":"10","author":"van Eijck","year":"2001","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib121","series-title":"Reducing dynamic epistemic logic to PDL by program transformation","author":"van Eijck","year":"2004"},{"key":"10.1016\/S1874-5857(06)80033-6_bib122","series-title":"Handbook of Logic and Language","first-page":"179","article-title":"Representing discourse in context","author":"van Eijck","year":"1997"},{"issue":"1","key":"10.1016\/S1874-5857(06)80033-6_bib123","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00203385","article-title":"Dynamic interpretation and Hoare deduction","volume":"1","author":"van Eijck","year":"1992","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib124","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01052729","article-title":"Reasoning about update logic","volume":"24","author":"van Eijck","year":"1995","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"10.1016\/S1874-5857(06)80033-6_bib125","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/jigpal\/9.3.411","article-title":"Tableau reasoning and programming with dynamic first order logic","volume":"9","author":"van Eijck","year":"2001","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80033-6_bib126","series-title":"Truth, Interpretation and Information","first-page":"43","article-title":"Data semantics","author":"Veltman","year":"1984"},{"key":"10.1016\/S1874-5857(06)80033-6_bib127","series-title":"On Conditionals","article-title":"Data semantics and the pragmatics of indicative conditionals","author":"Veltman","year":"1986"},{"key":"10.1016\/S1874-5857(06)80033-6_bib128","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00248150","article-title":"Defaults in update semantics","volume":"25","author":"Veltman","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80033-6_bib129","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/jos\/ffh022","article-title":"Making counterfactual assumptions","volume":"22","author":"Veltman","year":"2005","journal-title":"Journal of Semantics"},{"key":"10.1016\/S1874-5857(06)80033-6_bib130","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF01050788","article-title":"Sequence semantics for dynamic predicate logic","volume":"2","author":"Vermeulen","year":"1993","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib131","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01048354","article-title":"Merging without mystery. Variables in dynamic semantics","volume":"24","author":"Vermeulen","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80033-6_bib132","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1008332604642","article-title":"Variables as stacks","volume":"9","author":"Vermeulen","year":"2000","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib133","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1012439021359","article-title":"A calculus of substitutions for DPL","volume":"68","author":"Vermeulen","year":"2001","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80033-6_bib134","article-title":"Relation validity and dynamic predicate logic","volume":"144","author":"Visser","year":"1995"},{"issue":"4","key":"10.1016\/S1874-5857(06)80033-6_bib135","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1023\/A:1008228122853","article-title":"Dynamic Relation Logic is the logic of DPL-relations","volume":"6","author":"Visser","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"10.1016\/S1874-5857(06)80033-6_bib136","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1008206916207","article-title":"Contexts in dynamic predicate logic","volume":"7","author":"Visser","year":"1998","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80033-6_bib137","series-title":"Practical Reason","author":"von Wright","year":"1983"},{"key":"10.1016\/S1874-5857(06)80033-6_bib138","series-title":"Dynamic semantics, imperative logic and propositional attitudes","author":"Zarnic","year":"2002"},{"key":"10.1016\/S1874-5857(06)80033-6_bib139","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00627399","article-title":"A compositional approach to discourse representation theory","volume":"12","author":"Zeevat","year":"1989","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1874-5857(06)80033-6_bib140","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/jos\/9.4.379","article-title":"Presupposition and accomodation in update semantics","volume":"98","author":"Zeevat","year":"1992","journal-title":"Journal of Semantics"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T23:46:06Z","timestamp":1556840766000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":140,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80033-6","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}