Game logic and its applications. I
From MaRDI portal
Publication:2563453
DOI10.1007/BF00370838zbMath0858.03035MaRDI QIDQ2563453
Takashi Nagashima, Mamoru Kaneko
Publication date: 19 March 1997
Published in: Studia Logica (Search for Journal in Brave)
common knowledgeepistemic axiomatization of Nash equilibriumformal undecidability of the playability of a gameinfinitary predicate extension of modal propositional logic KD4
Game theory (91A99) Modal logic (including the logic of norms) (03B45) Other infinitary logic (03C75) Other applications of logic (03B80)
Related Items (12)
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 ⋮ Rationalizability and logical inference ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Epistemic considerations of decision making in games ⋮ SMALL INFINITARY EPISTEMIC LOGICS ⋮ Strong completeness theorems for weak logics of common belief ⋮ A Measure of Logical Inference and Its Game Theoretical Applications
Cites Work
- On equilibria in finite games
- Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities
- A guide to completeness and complexity for modal logics of knowledge and belief
- The epistemic structure of a theory of a game
- On the logic of common belief and common knowledge
- A model existence theorem in infinitary propositional modal logic
- A necessary and sufficient epistemic condition for playing backward induction
- Backward induction and common knowledge of rationality
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Non-cooperative games
- Epistemology Without Knowledge and Without Belief
- Equilibrium Points of Bimatrix Games
- An Axiomatic Approach to Measurable Utility
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Game logic and its applications. I