Title :
Strategic Ability Update: A Modal Logic Account
Author :
Broersen, Jan ; Mastop, Rosja ; Meyer, John Jules Ch ; Turrini, Paolo
Abstract :
We study an update operator for Coalition Logic to talk about the way players´ strategic ability changes because of the moves of their opponents. We show its connection with Dynamic Epistemic Logic and we apply it to reason about game theoretical notions like undominated choice.
Keywords :
Computer science; Conferences; Game theory; IEEE news; Intelligent agent; Logic; Game Theory; Modal Logic;
Conference_Titel :
Web Intelligence and Intelligent Agent Technologies, 2009. WI-IAT '09. IEEE/WIC/ACM International Joint Conferences on
Conference_Location :
Milan, Italy
Print_ISBN :
978-0-7695-3801-3
Electronic_ISBN :
978-1-4244-5331-3
DOI :
10.1109/WI-IAT.2009.328
