Systems for Knowledge and Belief

DOI10.1093/logcom/3.2.173zbMath0790.03024OpenAlexW1976562500MaRDI QIDQ4276179

Wiebe van der Hoek

Publication date: 22 June 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.2.173

zbMATH Keywords

correspondence theorymulti-modal logicepistemic operatorscombined epistemic and doxastic logicmodal systems for knowledge and beliefpositive and negative introspection and extraspection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Some remarks on the model theory of epistemic plausibility models, A modal contrastive logic: The logic of ``but, My beliefs about your beliefs: a case study in theory of mind and epistemic logic, Definability in the class of all -frames – computability and complexity, Epistemic logic without closure, A Qualitative Theory of Dynamic Interactive Belief Revision, Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief, On the Logic of Common Belief, Intricate axioms as interaction axioms, Generation and selection of abductive explanations for non-omniscient agents, A principled solution to Fitch's paradox, A modal logic of intentional communication, DYNAMIC GRADED EPISTEMIC LOGIC, ON DEFINABILITY IN MULTIMODAL LOGIC, DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE, Taming the Complexity of Temporal Epistemic Reasoning, The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language, A simple modal logic for belief revision