Graduate studies at Western
Studia Logica 57 (2-3):325 - 354 (1996)
|Abstract||This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gabriel Sandu (1998). Partially Interpreted Relations and Partially Interpreted Quantifiers. Journal of Philosophical Logic 27 (6):587-601.
Dietmar Berwanger (2003). Game Logic is Strong Enough for Parity Games. Studia Logica 75 (2):205 - 219.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
Boudewijn De Bruin (2005). Game Theory in Philosophy. Topoi 24 (2):197-208.
Marc Pauly & Rohit Parikh (2003). Game Logic - an Overview. Studia Logica 75 (2):165 - 182.
Boudewijn de Bruin (2005). Game Theory in Philosophy. Topoi 24 (2):197-208.
Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka (2002). A Map of Common Knowledge Logics. Studia Logica 71 (1):57-86.
Mamoru Kaneko (1999). Common Knowledge Logic and Game Logic. Journal of Symbolic Logic 64 (2):685-700.
Mamoru Kaneko & Takashi Nagashima (1997). Game Logic and its Applications II. Studia Logica 58 (2):273-303.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #294,309 of 755,113 )
Recent downloads (6 months)0
How can I increase my downloads?