Advertisement

Synthese

, Volume 169, Issue 2, pp 219–221 | Cite as

Logic and intelligent interaction

  • Thomas Ågotnes
  • Johan van Benthem
  • Eric Pacuit
Open Access
Article

Keywords

Belief Revision Dynamic Logic Informational Process Dynamic Epistemic Logic Reasoning Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Open Access

This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Copyright information

© The Author(s) 2009

Authors and Affiliations

  • Thomas Ågotnes
    • 1
  • Johan van Benthem
    • 2
  • Eric Pacuit
    • 3
  1. 1.Department of Information Science and Media StudiesUniversity of BergenBergenNorway
  2. 2.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamNetherlands
  3. 3.Department of PhilosophyStanford UniversityCaliforniaUSA

Personalised recommendations