A quantitative analysis of modal logic

DOI10.2307/2275262MaRDI QIDQ4292605zbMATH OpenOpenAlexFDO

Authors 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

epistemic logicKripke structuresKripke-style semanticsmodal logicmodal structuresmultiple agents

Mathematics Subject Classification ID

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

Recommendations

• Refinement quantified logics of knowledge and belief for multiple agents
• Structures for epistemic logic
• A model of reasoning about knowledge
• Quantificational modal logic with sequential Kripke semantics

Cites work

• Artificial intelligence and mathematics. 1
• Decidability for branching time
• Formulation of Bayesian analysis for games with incomplete information
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3080510 (Why is no real title available?)
• In so many possible worlds
• Knowledge and common knowledge in a distributed environment
• Normal forms in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(18)

• Iterative and fixed point common belief
• Coalgebraic logic
• Knowledge spaces with arbitrarily high rank
• Hierarchies of knowledge: an unbounded stairway
• Dynamic interactive epistemology
• A theoretical investigation into quantitative modal logic
• Changing types: information dynamics for qualitative type spaces
• Hierarchies of beliefs for compact possibility models
• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• Infinitary S5‐Epistemic Logic
• scientific article; zbMATH DE number 1114035 (Why is no real title available?)
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• scientific article; zbMATH DE number 6769390 (Why is no real title available?)
• The existence of universal qualitative belief spaces
• A Causal Analysis of Modal Syllogisms
• The hierarchical construction of a universal qualitative belief space
• An impossibility theorem on beliefs in games
• The power of paradox: some recent developments in interactive epistemology

This page was built for publication: A quantitative analysis of modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4292605)