Abstract (may include machine translation)
We present a sound and complete axiomatisation of the epistemic logic. In the logic, the propositional fragment is lassical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by elevant ontainment logic. By doing so, complies with a principle of minimal mutilation of classical logic and lifts some limitations of existing frameworks, such as (i) logics of analytic implication, (ii) topic-sensitive analyses of epistemic modals, and (iii) the logic of relevant reasoners in classical worlds.
Original language | English |
---|---|
Article number | 35 |
Pages (from-to) | 1-29 |
Journal | Synthese |
Volume | 205 |
Issue number | 1 |
DOIs | |
State | Published - 9 Jan 2025 |
Externally published | Yes |
Keywords
- Containment logic
- Epistemic logic
- Hyperintensionality
- Relevant logic
- Topic-sensitive logics