9 February 2010
Computational Logic Seminar at CUNY: Formal models of knowledge-based rationality
Posted by Rasmus Rendsvig under: Courses, seminars and special lectures; Dynamic Logic; Epistemic Logic; Game Theory .
Formal models of knowledge-based rationality
Mel Fitting, Lehman College and the Graduate Center
City University of New York, Room 8404, February 9, 2:00-4:00 PM.
Abstract: A mixture of propositional dynamic logic and epistemic logic is used to give a formalization of Artemov’s knowledge based reasoning approach (KBR) to game theory. The family of logics introduced is called PDL + E. It is not the same as Dynamic Epistemic Logic, instead PDL + E has its origins in work of Schmidt and Tishkovsky. Epistemic states of players, usually treated informally in game-theoretic arguments, are here represented explichttp://comet.lehman.cuny.edu/fitting/CentipedeDraft.pdfitly and reasoned about formally. The heart of the presentation is a detailed analysis of the Centipede game using both the proof theoretic and the semantic machinery of PDL + E. The present work can be seen an argument for the thesis that PDL + E should be the basis of the logical investigation of game theory.
A preliminary version of a tech report presenting this work can be found at the address below. Comments are welcome.
http://comet.lehman.cuny.edu/fitting/CentipedeDraft.pdf
Loading... 
