PP-2012-28: Connecting Logics of Choice and Change

PP-2012-28: van Benthem, Johan and Pacuit, Eric (2012) Connecting Logics of Choice and Change. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (354kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (484B)


We compare STIT-type logics of deliberate action as proposed by Belnap
and Horty with dynamic logics of action. We show how to merge the two
perspectives, by focusing on the notion of 'control', and present
examples in dynamic logics of matrix games, and a new
dynamic-epistemic logic with agent control added.

Item Type: Report
Report Nr: PP-2012-28
Series Name: Prepublication (PP) Series
Year: 2012
Uncontrolled Keywords: stit logic, choice, simultaneous action, dynamic logic, logics of games, control
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/470

Actions (login required)

View Item View Item