PP-2005-06: Open Problems in Logical Dynamics

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

Preview	Text (Full Text) PP-2005-06.text.pdf Download (304kB) | Preview
	Text (Abstract) PP-2005-06.abstract.txt Download (538B)

Abstract

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