PP-2005-06: Open Problems in Logical Dynamics

PP-2005-06: van Benthem, Johan (2005) Open Problems in Logical Dynamics. [Report]

Text (Full Text)

Download (304kB) | Preview
[img] Text (Abstract)

Download (538B)


Dynamic epistemic logics describe multi-agent information date triggered by speech acts or general events. This paper surveys some basic research lines in this paradigm, and identifies some 30 open problems for furtherresearch. This survey will appear in T. Rozhkovskaya, ed., "Mathematical Problems from Applied Logic", Russian Academy Of Sciences, Novosibirsk, and Plenum Press, New York.

Item Type: Report
Report Nr: PP-2005-06
Series Name: Prepublication (PP) Series
Year: 2005
Uncontrolled Keywords: epistemic logic; dynamic logic; ; temporal logic; information update
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/151

Actions (login required)

View Item View Item