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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
Introduces PAL with Boolean Definitions as a conservative extension of Public Announcement Logic that separates knowledge of truth values from knowledge of meanings, with a claimed complete axiomatization.
citing papers explorer
-
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.
-
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Introduces PAL with Boolean Definitions as a conservative extension of Public Announcement Logic that separates knowledge of truth values from knowledge of meanings, with a claimed complete axiomatization.