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]

Text (Full Text)

Download (354kB) | Preview
[img] 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 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