The authors define Awareness-Based Indistinguishability Logic (AIL) with a new semantics for explicit knowledge that is strictly stronger than Fagin-Halpern logic, prove embeddability of the prior logic, and supply a sound and complete axiomatization.
A logic for reasoning about knowledge of unaware- ness.Journal of Logic, Language and Information, 23(2):197–217
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
The authors define Awareness-Based Indistinguishability Logic (AIL) with a new semantics for explicit knowledge that is strictly stronger than Fagin-Halpern logic, prove embeddability of the prior logic, and supply a sound and complete axiomatization.