Skip to main content
SpringerLink
Log in

Open Problems in Logical Dynamics

  • Chapter
Mathematical Problems from Applied Logic I

Part of the book series: International Mathematical Series ((IMAT,volume 4))

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. d’Agostino and M. Hollenberg, Logical questions concerning the μ-calculus: Interpolation, Lyndon & Los-Tarski. J. Symb. Logic 65 (2000), 310–332.

    MathSciNet  MATH  Google Scholar 

  2. S. Artemov, Logic of proofs, Ann. Pure Appl. Logic 67 (1994), 29–35.

    Article  MATH  MathSciNet  Google Scholar 

  3. S. Artemov, Evidence-Based Common Knowledge, New York, CUNY Graduate Center, 2005.

    Google Scholar 

  4. G. Aucher, A Joint System of Update Logic and Belief Revision, Master’s Thesis, ILLC, Univ. Amsterdam, 2003

    Google Scholar 

  5. A. Baltag, B. Coecke, and M. Sadrzadeh, Algebra and sequent calculus for epistemic actions, In: ENTCS Proc. Logic and Communication in Multi-Agent Systems, Workshop, ESSLLI 2004, Nancy, France, 2004.

    Google Scholar 

  6. A. Baltag, L. Moss, and S. Solecki, The logic of Public announcements, common knowledge and private suspicions, In: Proc. TARK 1998, Los Altos, Morgan Kaufmann Publishers, 1998, pp. 43–56.

    Google Scholar 

  7. J. Barwise, Admissible Sets and Structures, Berlin, Springer, 1975.

    MATH  Google Scholar 

  8. J. Barwise, Three views of common knowledge, In: Proc. TARK 1988, Los Altos, Morgan Kaufmann Publishers, 1988, pp. 365–397.

    Google Scholar 

  9. J. Barwise and J. van Benthem, Interpolation, preservation, and pebble games, J. Symb. Logic 64 (1999) no. 2, 881–903.

    Article  MATH  Google Scholar 

  10. J. Barwise and L. Moss, Vicious Circles, Stanford, CSLI Publications, 1997.

    Google Scholar 

  11. N. Belnap, M. Perloff, and M. Xu, Facing the Future, Oxford, Oxford Univ. Press, 2001.

    Google Scholar 

  12. J. van Benthem, Semantic parallels in natural language and computation, In: H-D Ebbinghaus (ed.) et al., Logic Colloquium. Granada 1987, Amsterdam, North-Holland, 1989, pp. 331–375.

    Google Scholar 

  13. J. van Benthem, Reflections on epistemic logic, Logique Anal. 133–134 (1993), 5–14.

    Google Scholar 

  14. J. van Benthem, Exploring Logical Dynamics, Stanford, CSLI Publications, 1996.

    MATH  Google Scholar 

  15. J. van Benthem, Dynamic Bits and Pieces’, Report LP-97-01, ILLC, Univ. Amsterdam.

    Google Scholar 

  16. J. van Benthem, Radical epistemic dynamic logic, note for course “Logic in Games,” ILLC, Univ. Amsterdam, 1999.

    Google Scholar 

  17. J. van Benthem, Logic and Games, Electr. Lect. Notes, http://staff.science.uva.nl/~johan/, Amsterdam and Stanford, 1999–2004 [under construction].

    Google Scholar 

  18. J. van Benthem, Logics for information update, In: Proc. TARK VIII, Los Altos, Morgan Kaufmann, 2000, pp. 51–88.

    Google Scholar 

  19. J. van Benthem, Games in dynamic epistemic logic, Bull. Economic Research 53 (2001), no. 4, 219–248.

    Article  Google Scholar 

  20. J. van Benthem, An essay on sabotage and obstruction, In: D. Hutter (ed.), Festschrift for J.rg Siekmann, Springer-Verlag, 2002.

    Google Scholar 

  21. J. van Benthem, Extensive games as process models, J. Logic Lang. Inf. 11 (2002), 289–313.

    Article  MATH  Google Scholar 

  22. J. van Benthem, One is a Lonely Number: on the Logic of Communication, Techn. Report no. PP-2002-27, ILLC, Univ. Amsterdam, In: P. Koepke (ed.) et al., Colloquium Logicum, Providence, Am. Math. Soc. Publications [to appear].

    Google Scholar 

  23. J. van Benthem, Belief over Time, Manuscript, ILLC, Univ. Amsterdam, 2003; Current version: Update and Revision in Games, to be presented at APA-ASL Symposium on Games, San Francisco, March 2005.

    Google Scholar 

  24. J. van Benthem, Conditional probability meets update logic, J. Logic Lang. Inf. 12 (2003), no. 4, 409–421.

    Article  MATH  Google Scholar 

  25. J. van Benthem, Rational dynamics and epistemic logic in games, In: S. Vannucci (ed.), Logic, Game Theory and Social Choice III, Dept. Political Economy, Univ. Siena, 2003, pp. 19–23.

    Google Scholar 

  26. J. van Benthem, Structural properties of dynamic reasoning, In: J. Peregrin (ed.), Meaning: the Dynamic Turn, Amsterdam, Elsevier, 2003, pp. 15–31.

    Google Scholar 

  27. J. van Benthem, A mini-guide to Logic in Action, Phil. Researches, Suppl., 21–30, Beijing, Chinese Acad. Sci.

    Google Scholar 

  28. J. van Benthem, What one may come to know, Analysis 64(282) (2004), 95–105.

    Article  MATH  Google Scholar 

  29. J. van Benthem, Open Problems in Game Logics, ILLC, Univ. Amsterdam, On public web-page “Games, Logic, and Computation”: http://www.illc.uva.nl/lgc/ [to appear].

    Google Scholar 

  30. J. van Benthem, Two logical concepts of information, In: L. Moss (ed.), Memorial Volume for Jon Barwise, Dept. Comput. Sci., Bloomington, Indiana [to appear].

    Google Scholar 

  31. J. van Benthem, J. van Eijck, and B. Kooi, Logics for Communication and Change, ILLC, Univ. Amsterdam, CWI Amsterdam, Phil. Inst., and Univ. Groningen, 2004; To appear in Proc. TARK Singapore, 2005.

    Google Scholar 

  32. J. van Benthem and F. Liu, Diversity of Logical Agents in Games, Report PP-2004-13, ILLC, Univ. Amsterdam, In: Phil. Sci. 8 (2004), no. 2, 163–178.

    Google Scholar 

  33. J. van Benthem and D. Sarenac, The Geometry of Knowledge, Techn. Report no. PP-2004-20, ILLC, Univ. Amsterdam, 2004.

    Google Scholar 

  34. P. Blackburn, J. van Benthem, and F. Wolter (eds.), Handbook of Modal Logic, Amsterdam, Elsevier [to appear].

    Google Scholar 

  35. P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge, Cambridge Univ. Press, 2001.

    MATH  Google Scholar 

  36. A. Bleeker and J. van Eijck, The Epistemics of Encryption, CWI Report no. INS-R0019, Amsterdam, 2000.

    Google Scholar 

  37. B. de Bruin, Explaining Games, Disser. no. 2004-03, ILLC, ILLC, Univ. Amsterdam, 2004.

    Google Scholar 

  38. Ch. Castelfranchi, Reasons to Believe: Cognitive Models of Belief Change, ISTC-CNR, Roma — Workshop Changing Minds, ILLC, Univ. Amsterdam, 2004.

    Google Scholar 

  39. B. ten Cate, Internalizing epistemic actions, In: M. Martinez (ed.), Proc. of the NASSLLI-1 Student Session, Stanford Univ., 2002, pp. 109–123.

    Google Scholar 

  40. B. ten Cate, Model Theory for Extended Modal Languages, Disser., ILLC, Univ. Amsterdam, 2005.

    Google Scholar 

  41. F. Dechesne, Game, Set, Maths, Ph.D. Disser., Phil. Inst., Katholieke Univ. Brabant, Tilburg, 2005.

    Google Scholar 

  42. H. van Ditmarsch, Knowledge Games, Disser. no. DS-2000-06, ILLC, Univ. Amsterdam and Dept. Informatics, Univ. Groningen, 2000.

    Google Scholar 

  43. H. van Ditmarsch, Keeping Secrets with Public Communication, Dept. Comput. Sci., Univ. Otago, Dunedin, 2002

    Google Scholar 

  44. H. van Ditmarsch, W. van der Hoek, and B. Kooi, Concurrent dynamic epistemic logic, In: V.F. Hendricks, K.F. Jorgensen and S.A. Pederson (eds.), Knowledge Contributors, Kluwer Academic Press, 2003, pp. 105–143.

    Google Scholar 

  45. H. van Ditmarsch, W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic, Dordrecht, Kluwer-Springer Academic Publishers [to appear].

    Google Scholar 

  46. H-D Ebbinghaus and J. Flum, Finite Model Theory Berlin, Springer, 1995.

    MATH  Google Scholar 

  47. J. van Eijck, J. Ruan, and T. Sadzik, Action Emulation, CWI and ILLC, Univ. Amsterdam, and Dept. Economics, Stanford Univ., 2004.

    Google Scholar 

  48. R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about Knowledge, Cambridge (Mass.), MIT Press, 1995.

    MATH  Google Scholar 

  49. P. Gärdenfors and H. Rott, Belief revision, In: D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming 4, Oxford, Oxford Univ. Press, 1995.

    Google Scholar 

  50. J. Gerbrandy, Bisimulations on Planet Kripke, Disser. no. DS-1999-01, ILLC, Univ. Amsterdam, 1999.

    Google Scholar 

  51. P. Girard, DDL versus DEL, Dept. Phil., Stanford Univ., 2004.

    Google Scholar 

  52. A. Grove, Two modelings for theory change J. Phil. Logic 17 (1988), 157–170.

    Article  MATH  MathSciNet  Google Scholar 

  53. J. Halpern and M. Vardi, The complexity of reasoning about knowledgeand time, J. Comput. Systems Sci. 38 (1989), no. 1, 195–237.

    Article  MATH  MathSciNet  Google Scholar 

  54. P. Harrenstein, Logic in Conflict, Disser. no. SIKS 2004.14, Dept. Comput. Sci., Univ. Utrecht, 2004.

    Google Scholar 

  55. V. Hendricks, Active Agents, PHILOG Newsletter, Roskilde. In: J. van Benthem and R. van Rooy (eds.), special issue on Information Theories, J. Logic Lang. Inf. 12 (2002), no. 4, 469–495.

    Google Scholar 

  56. W. van der Hoek and J-J. Meijer, Epistemic Logic for AI and Computer Science, Cambridge, Cambridge Univ. Press, 1995.

    MATH  Google Scholar 

  57. M. Hollenberg, Logic and Bisimulation, Disser., Publications Zeno Inst. Phil., 14, Univ. Utrecht., 1998.

    Google Scholar 

  58. H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, In: P. Gärdenfors (ed.), Belief Revision, Cambridge, Cambridge Univ. Press, 1992, pp. 183–203.

    Google Scholar 

  59. K. Kelly, The Logic of Reliable Inquiry, Oxford, Oxford Univ. Press, 1996.

    MATH  Google Scholar 

  60. B. Kooi, Knowledge, Chance, and Change, Disser. no. DS-2003-01, ILLC, Univ. Amsterdam, and Dept. Inf., Univ. Groningen, 2003.

    Google Scholar 

  61. B. Kooi and J. van Benthem, Reduction axioms for epistemic actions, In: R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing (eds.), Proc. Advances in Modal Logic 2004, Dept. Comput. Sci., Univ. Manchester. Report UMCS-04 9-1, 2004, pp. 197–211.

    Google Scholar 

  62. D. Kozen, D. Harel and J. Tiuryn, Dynamic Logic, Cambridge (Mass.), MIT Press, 2000.

    MATH  Google Scholar 

  63. F. Liu, Diversity of Logical Agents, Master’s Thesis, ILLC, Univ. Amsterdam, 2004

    Google Scholar 

  64. Ch. Loedding and Ph. Rohde, Solving the Sabotage Game is PSPACE-hard, Techn. Report no. AIB-05-2003, RWTH, Aachen, 2003.

    Google Scholar 

  65. C. Lutz, 2004 Expressiveness and Complexity of the Logic of Public Announcements, Informatics Institute, manuscript, Techn. Univ., Dresden, 2004.

    Google Scholar 

  66. R. van der Meyden, Common knowledge and update in finite environments, Inf. Comput. 140 (1998), no. 2, 115–157.

    Article  MATH  Google Scholar 

  67. R. van der Meyden, Model checking the logic of knowledge, In: Tutorial, First Indian Congress on Logic and its Relationship with Other Disciplines [to appear].

    Google Scholar 

  68. J. Miller and L. Moss, The Undecidability of Iterated Modal Relativization, Techn. Report, Indiana Univ., 2003.

    Google Scholar 

  69. R. Parikh, Social software, Synthese 132 (2002), 187–211.

    Article  MATH  MathSciNet  Google Scholar 

  70. R. Parikh and R. Ramanujam, A knowledge based semantics of messages, CUNY New York & Chennai, India. In: J. van Benthem and R. van Rooy (eds.), special issue on Information Theories, J. Logic Lang. Inf. 12 (2003), no. 4, 453–467.

    Google Scholar 

  71. M. Pauly, Logic for Social Software, Disser. no. DS-2001-10, ILLC, Univ. Amsterdam, 2001.

    Google Scholar 

  72. J. Plaza, Logics of public announcements, In: Proc. 4th International Symposium on Methodologies for Intelligent Systems, 1989.

    Google Scholar 

  73. R. Ramanujam, Closing remarks, In: First Indian Congress on Logic and its Relationship with Other Disciplines [to appear].

    Google Scholar 

  74. G. Restall, An Introduction to Substructural Logics, London, Routledge, 2000.

    Google Scholar 

  75. M. de Rijke, Extending Modal Logic, Disser., ILLC, Univ. Amsterdam, 1992.

    Google Scholar 

  76. J.-W. Romeyn, Meaning Shifts, Epistemic Actions, and Diachronic Dutch Books, Dept. Psychology, Univ. Amsteredam, 2005.

    Google Scholar 

  77. R. van Rooy, Quality and quantity of information exchange In: J. van Benthem and R. van Rooy (eds.), special issue on Information Theories, J. Logic Lang. Inf. 12 (2003), no. 4, 423–451.

    Google Scholar 

  78. H. Rott, Change, Choice, and Inference, Oxford, Clarendon Press, 2001.

    MATH  Google Scholar 

  79. J. Ruan, Exploring the Update Universe, Master’s Thesis, ILLC, Univ. Amsterdam, 2004.

    Google Scholar 

  80. M. Ryan and P-Y Schobbens, Counterfactuals and updates as inverse modalities, J. Logic Lang. Inf. 6 (1997), 123–146.

    Article  MATH  MathSciNet  Google Scholar 

  81. T. Sadzik, Epistemic Update as a Dynamical System, Dept. Economics, Stanford Univ., 2004.

    Google Scholar 

  82. K. Segerberg, Belief revision from the point of view of doxastic logic, Bull. IGPL 3 (1995), no. 4 535–553.

    MATH  MathSciNet  Google Scholar 

  83. W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, In: W. L. Harper (ed.) et al., Causation in Decision, Belief Change and Statistics II, Dordrecht, Kluwer, 105–134.

    Google Scholar 

  84. R. Stalnaker, Extensive and strategic form: games and models for games, Research Economics 53 (1999), no. 2, 93–291.

    Google Scholar 

  85. C. Stirling, Bisimulation, modal logic, and model checking games, In: A. Montanari and Y. Venema (eds.), Special issue on Temporal Logic, Logic J. IGPL 7 (1999), no.1, 103–124.

    Google Scholar 

  86. F. Veltman, Logics for Conditionals, Disser., Phil. Inst., Univ. Amsterdam, 1985.

    Google Scholar 

  87. F. Veltman, Defaults in update semantics, J. Phil. Logic 25 (1996), 221–261.

    MATH  MathSciNet  Google Scholar 

  88. G. Venkatesh, Temporal logic with preferences and reasoning about games, IIM Banglore and Sasken, In: J. van Benthem, A. Gupta, R. Parikh, and R. Ramanujam (eds.), First Indian Congress on Logic and its Relationship with Other Disciplines, IIT Mumbai 2005. [to appear].

    Google Scholar 

  89. A. Yap, Finding out Who is Lying and Cheating in Games, Dept. Phil., Stanford Univ., 2004.

    Google Scholar 

  90. A. Zanardo, First-order and Second-order Aspects of Branching-time Semantics, In: Proc. Second International Workshop on the History and Philosophy of Logic, Mathematics, and Computation, San Sebastian (Spain), November 7–9, 2002 [to appear].

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Amsterdam, Amsterdam, The Netherlands

    Johan van Benthem

  2. Stanford University, Stanford, USA

    Johan van Benthem

Authors
  1. Johan van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, King’s College London, Strand, London, WC2R 2LS, UK

    Dov M. Gabbay  & Michael Zakharyaschev  & 

  2. Sobolev Institute of Mathematics, SB Russian Academy of Sciences, Novosibirsk, 630090, Russia

    Sergei S. Goncharov

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer Science+Business Media, Inc.

About this chapter

Cite this chapter

van Benthem, J. (2006). Open Problems in Logical Dynamics. In: Gabbay, D.M., Goncharov, S.S., Zakharyaschev, M. (eds) Mathematical Problems from Applied Logic I. International Mathematical Series, vol 4. Springer, New York, NY. https://doi.org/10.1007/0-387-31072-X_3

Download citation

Publish with us

Policies and ethics

Search

Navigation