Introspection axioms are conservative for agent-alternating formulas in multi-agent belief logics (K/KD) but not in knowledge logics (KT).
Review of Symbolic Logic 8(1), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
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).