Systems for Knowledge and Belief
From MaRDI portal
Publication:4276179
DOI10.1093/logcom/3.2.173zbMath0790.03024MaRDI QIDQ4276179
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
correspondence theory; multi-modal logic; epistemic operators; combined epistemic and doxastic logic; modal systems for knowledge and belief; positive and negative introspection and extraspection
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