The following pages link to Systems for Knowledge and Belief (Q4276179):
Displaying 18 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic (Q885521) (← links)
- A modal contrastive logic: The logic of ``but'' (Q1380429) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- A modal logic of intentional communication (Q1806304) (← links)
- Generation and selection of abductive explanations for non-omniscient agents (Q2258807) (← links)
- A principled solution to Fitch's paradox (Q2508419) (← links)
- Epistemic logic without closure (Q2695021) (← links)
- Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
- A Qualitative Theory of Dynamic Interactive Belief Revision (Q2971702) (← links)
- ON DEFINABILITY IN MULTIMODAL LOGIC (Q3644800) (← links)
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE (Q3644801) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- On the Logic of Common Belief (Q4888342) (← links)
- The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language (Q5013615) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
