A quantitative analysis of modal logic

DOI10.2307/2275262zbMath0806.03017OpenAlexW2051167594MaRDI 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 logicKripke structuresepistemic logicmultiple agentsKripke-style semanticsmodal structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of denumerable and separable structures (03C15)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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