A quantitative analysis of modal logic

DOI10.2307/2275262zbMath0806.03017MaRDI QIDQ4292605

Ronald Fagin

Publication date: 18 May 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275262

zbMATH Keywords

modal logic; Kripke structures; epistemic logic; multiple agents; Kripke-style semantics; modal structures

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03C15: Model theory of denumerable and separable structures

Related Items

Infinitary S5‐Epistemic Logic, Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces, An impossibility theorem on beliefs in games, The power of paradox: some recent developments in interactive epistemology, Iterative and fixed point common belief, Coalgebraic logic, Knowledge spaces with arbitrarily high rank, Hierarchies of knowledge: an unbounded stairway, Dynamic interactive epistemology, Changing types: information dynamics for qualitative type spaces, Hierarchies of beliefs for compact possibility models

Cites Work

• Formulation of Bayesian analysis for games with incomplete information
• Decidability for branching time
• Artificial intelligence and mathematics. 1
• In so many possible worlds
• Normal forms in modal logic
• Knowledge and common knowledge in a distributed environment
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item