PP-2012-28: van Benthem, Johan and Pacuit, Eric (2012) Connecting Logics of Choice and Change. [Report]
Preview |
Text (Full Text)
PP-2012-28.text.pdf Download (354kB) | Preview |
Text (Abstract)
PP-2012-28.abstract.txt Download (484B) |
Abstract
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 |