Develops epistemic logics with weighted models and an epistemic skills metric to model knowledge acquisition as upskilling and oblivion as downskilling, and studies knowability, forgettability, and computational complexity.
[MvdH95] John-Jules Ch
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
A belief-base semantics for epistemic logic is defined that derives possible worlds from belief bases, enabling a compact universal epistemic model with equivalence results and a complexity bound.
Introspection axioms are conservative for agent-alternating formulas in multi-agent belief logics (K/KD) but not in knowledge logics (KT).
citing papers explorer
-
Epistemic Skills: Reasoning about Knowledge and Oblivion
Develops epistemic logics with weighted models and an epistemic skills metric to model knowledge acquisition as upskilling and oblivion as downskilling, and studies knowability, forgettability, and computational complexity.
-
Exploiting Belief Bases for Building Rich Epistemic Structures
A belief-base semantics for epistemic logic is defined that derives possible worlds from belief bases, enabling a compact universal epistemic model with equivalence results and a complexity bound.
-
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Introspection axioms are conservative for agent-alternating formulas in multi-agent belief logics (K/KD) but not in knowledge logics (KT).