Systems for Knowledge and Belief

DOI10.1093/LOGCOM/3.2.173MaRDI QIDQ4276179zbMATH OpenOpenAlexFDO

Authors 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

combined epistemic and doxastic logiccorrespondence theoryepistemic operatorsmodal systems for knowledge and beliefmulti-modal logicpositive and negative introspection and extraspection

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 549982
• Knowledge, belief, normality, and introspection
• scientific article; zbMATH DE number 58298
• scientific article; zbMATH DE number 4185061
• Knowledge, belief and time

Cited in

(26)

• 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
• Universal knowledge-belief structures
• 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
• scientific article; zbMATH DE number 58298 (Why is no real title available?)
• scientific article; zbMATH DE number 549982 (Why is no real title available?)
• scientific article; zbMATH DE number 1778906 (Why is no real title available?)
• Definability in the class of all KD45-frames -- computability and complexity
• scientific article; zbMATH DE number 4114108 (Why is no real title available?)
• On the Logic of Common Belief
• How to square knowledge and belief
• Intricate axioms as interaction axioms
• The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language
• DYNAMIC GRADED EPISTEMIC LOGIC
• scientific article; zbMATH DE number 2198524 (Why is no real title available?)
• A proof-theoretic approach to formal epistemology
• A simple modal logic for belief revision
• My beliefs about your beliefs: a case study in theory of mind and epistemic logic

This page was built for publication: Systems for Knowledge and Belief

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