Game logic and its applications. II
From MaRDI portal
Publication:1357377
DOI10.1023/A:1004975724824zbMath0871.03030MaRDI QIDQ1357377
Takashi Nagashima, Mamoru Kaneko
Publication date: 29 September 1997
Published in: Studia Logica (Search for Journal in Brave)
Nash equilibriumcut-eliminationcommon knowledgegame logicevaluation of provabilityGentzen style sequent calculusinfinitary predicate KD4undecidability of playability
Game theory (91A99) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Other infinitary logic (03C75)
Related Items
Common knowledge logic and game logic, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Semantics for intuitionistic epistemic logics of shallow depths for game theory, Evaluations of epistemic components for resolving the muddy children puzzle, Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems, Embedding theorems for LTL and its variants, Kripke completeness of infinitary predicate multimodal logics, About cut elimination for logics of common knowledge, Epistemic considerations of decision making in games, SMALL INFINITARY EPISTEMIC LOGICS, Epistemic models of shallow depths and decision making in games: Horticulture, Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
