Reasoning about update logic-Reference-Cited by-同舟云学术

Reasoning about update logic

Published:1995-02 Issue:1 Volume:24 Page:19-45
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

van Eijck Jan,de Vries Fer-Jan

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF01052729.pdf

Reference22 articles.

1. J. Barwise. Noun phrases, generalized quantifiers and anaphora. In P. Gärdenfors, editor,Generalized Quantifiers: linguistic and logical approaches, pages 1?30. D. Reidel Publishing Company, Dordrecht, 1987.

2. J. van Benthem. Semantic parallels in natural language and computation. In H.-D. Ebbinghaus et al., editors,Logic Colloquium, Granada, 1987, pages 331?375, Amsterdam, 1989. Elsevier.

3. J. van Benthem. General dynamics.Theoretical Linguistics,17:159?201, 1991.

4. J. van Benthem.Language in Action: categories, lambdas and dynamic logic. Studies in Logic 130. Elsevier, Amsterdam, 1991.

5. J. van Benthem. Logic and the flow of information. Technical Report LP-91-10, ILLC, University of Amsterdam, 1991.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Update on Epistemic Modals;Journal of Philosophical Logic;2015-04-07

2. Dynamics;Handbook of Logic and Language;2011

3. Automata for Epistemic Temporal Logic with Synchronous Communication;Journal of Logic, Language and Information;2010-01-13

4. The gamut of dynamic logics;Handbook of the History of Logic;2006

5. A System of Dynamic Modal Logic;Journal of Philosophical Logic;1998-04