Systems for Knowledge and Belief

DOI10.1093/logcom/3.2.173zbMath0790.03024MaRDI 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 theory; multi-modal logic; epistemic operators; combined epistemic and doxastic logic; modal systems for knowledge and belief; positive and negative introspection and extraspection

Mathematics Subject Classification ID

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

03B60: Other nonclassical logic

Related Items

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