20 Modal logic for games and information
Bibliography (107)
- et al.
Recent results on belief, knowledge and the epistemic foundations of game theory
Research in Economics
(1999) Temporal and modal logic
A Pareto-consistent libertarian claim
Journal of Economic Theory
(1974)- et al.
The complexity of reasoning about knowledge and time, I: Lower bounds
Journal of Computer and System Sciences
(1989) Results on the propositional μ-calculus
Theoretical Computer Science
(1983)- et al.
On the interpretation of decision problems with imperfect recall
Games and Economic Behaviour
(1997) Belief revision in games: Forward and backward induction
Mathematical Social Sciences
(1998)- et al.
Effectivity Functions in Social Choice
(1991) - et al.
On the logic of theory change: partial meet contraction and revision functions
Journal of Symbolic Logic
(1985) - et al.
Alternating-time temporal logic
Journal of the ACM
(2002)
Game theory
Interactive epistemology I: Knowledge
International Journal of Game Theory
Epistemic conditions for Nash equilibrium
Econometrica
Logics for epistemic programs
Synthese
The logic of public announcements, common knowledge, and private suspicions
The variable hierarchy of the μ-calculus is strict
Fun and Games — A Text on Game Theory
Modal Logic
Modal logic and game theory: Two alternative approaches
Risk Decision and Policy
A characterisation of von neumann games in terms of memory
Synthese
A simple modal logic for belief revision
Synthese
Using determinacy to eliminate quantifiers
Modal Logic — An Introduction
Explaining Games- On the Logic of Game Theoretic Explanations
Knowledge and the logic of local propositions
Reasoning About Knowledge
MCK: Model checking the logic of knowledge
Reasoning about information change
Journal of Logic, Lan-guage, and Information
The basic algebra of game equivalences
Studia Logica
Decidability and complete axiomatization of the alternating-time temporal logic
Theoretical Computer Science
Limits to Parallel Computation: P- Completeness Theory
A computer scientist looks at game theory
Games and Economic Behavior
The complexity of reasoning about knowledge and time
Complete axiomatizations for reasoning about knowledge and time
SIAM Journal on Computing
Axiomatising Nash-consistent coalition logic
Dynamic logic
Dynamic Logic
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Knowledge and Belief
Logic, Language Games and Information
Model checking knowledge and time
Agents that know how to play
Fundamenta Informaticae
Safety and liveness properties: A survey
Bulletin of the European Association for Theoretical Computer Science
Extensive games and the problem of information
Proving the correctness of multiprocess programs
IEEE Transactions on Software Engineering, SE-3 (2)
Model checking games for branching time logics
Journal of Logic and Computation
MCMAS: A model checker for multi-agent systems
Knowledge in multiagent systems: initial configura-tions and broadcast
ACM Transactions on Computational Logic (TOCL)
Knowledge Sharing among Ideal Agents
Cited by (34)
Characterization, verification and generation of strategies in games with resource constraints
2022, AutomaticaCitation Excerpt :In addition to the game model, a key issue for model-checking is the logical specification of the desired behaviors and properties of the system. Therefore, the logical modeling and reasoning of the agents’ strategies in games (van der Hoek & Pauly, 2007) has been extensively studied. Various logical frameworks (Harrenstein, van der Hoek, Meyer, & Witteveen, 2003; Lorini & Moisan, 2011; Van Otterloo, Van der Hoek, & Wooldridge, 2004) have been proposed to address different concerns.
Epistemic GDL: A logic for representing and reasoning about imperfect information games
2021, Artificial IntelligenceCitation Excerpt :If φ is satisfiable, then it is satisfiable in a finite epistemic state transition model. For the last decades, a number of logical formalisms have been proposed to deal with imperfect information games [46,47]. Besides the work discussed in Introduction, the following is also worth mentioning.
A stochastic interpretation of game logic
2017, Journal of Logical and Algebraic Methods in ProgrammingCitation Excerpt :The neighborhood relations used here are taken from the minimal models discussed in modal logics [3, Chapter 7.1] or [40], serving as basic mechanism for models which are more general than Kripke models. The association of the effectivity functions sketched here to a very similar notion investigated in economics [29,1] is discussed in the survey paper [38, Section 2.3]. Pauly [32, Section 6.3] discusses the important point of determinacy of games and relates it briefly to the discussion in set theory [24, Section 33] or [25, Section 20].
Algebraic properties of stochastic effectivity functions
2014, Journal of Logical and Algebraic Methods in ProgrammingCitation Excerpt :The neighborhood relations used here are taken from the minimal models discussed in modal logics [4, Chapter 7.1], serving as basic mechanism for models which are more general than Kripke models. The association of the effectivity functions sketched here to a very similar notion investigated in economics is discussed in the survey paper [32, Section 2.3]. Requirements.
Local properties in modal logic
2012, Artificial IntelligenceThe Logic of Joint Ability in Two-Player Tacit Games
2017, Review of Symbolic Logic