Introspection axioms are conservative for agent-alternating formulas in multi-agent belief logics (K/KD) but not in knowledge logics (KT).
Cornell University Press
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
Consistency among prior, posteriors, and information sets implies information sets form a partition almost surely, posteriors equal Bayes updates, and qualitative beliefs become fully introspective knowledge in standard settings.
citing papers explorer
-
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).
-
On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract)
Consistency among prior, posteriors, and information sets implies information sets form a partition almost surely, posteriors equal Bayes updates, and qualitative beliefs become fully introspective knowledge in standard settings.