Journal of Symbolic Logic 64 (2):685-700 (1999)
|Abstract||We show the faithful embedding of common knowledge logic CKL into game logic GL, that is, CKL is embedded into GL and GL is a conservative extension of the fragment obtained by this embedding. Then many results in GL are available in CKL, and vice versa. For example, an epistemic consideration of Nash equilibrium for a game with pure strategies in GL is carried over to CKL. Another important application is to obtain a Gentzen-style sequent calculus formulation of CKL and its cut-elimination. The faithful embedding theorem is proved for the KD4-type propositional CKL and GL, but it holds for some variants of them|
|Keywords||Game Logic Common Knowledge Logic Fixed-Point and Iterative Definitions of Common Knowledge Nash Equilibrium|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Christian G. Fermüller & George Metcalfe (2009). Giles's Game and the Proof Theory of Łukasiewicz Logic. Studia Logica 92 (1):27 - 61.
Tsutomu Hosoi (1988). Gentzen-Type Formulation of the Prepositional Logic LQ. Studia Logica 47 (1):41 - 48.
Stephen Morris & Hyun Song Shin (1997). Approximate Common Knowledge and Co-Ordination: Recent Lessons From Game Theory. [REVIEW] Journal of Logic, Language and Information 6 (2):171-90.
Boudewijn de Bruin (2008). Common Knowledge of Payoff Uncertainty in Games. Synthese 163 (1):79-97.
Dietmar Berwanger (2003). Game Logic is Strong Enough for Parity Games. Studia Logica 75 (2):205 - 219.
Marc Pauly & Rohit Parikh (2003). Game Logic - an Overview. Studia Logica 75 (2):165 - 182.
Mamoru Kaneko & Takashi Nagashima (1997). Game Logic and its Applications II. Studia Logica 58 (2):273-303.
Mamoru Kaneko & Takashi Nagashima (1996). Game Logic and its Applications I. Studia Logica 57 (2-3):325 - 354.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #245,904 of 722,826 )
Recent downloads (6 months)0
How can I increase my downloads?