We present a sound and complete axiomatisation of the epistemic logic C.RC. In the logic, the propositional fragment is Classical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by Relevant Containment logic. By doing so, C.RC 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.
Relevant epistemic logic with state-sensitive topics
Vigiani, Pietro
2025
Abstract
We present a sound and complete axiomatisation of the epistemic logic C.RC. In the logic, the propositional fragment is Classical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by Relevant Containment logic. By doing so, C.RC 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Vigiani2025.pdf
Accesso chiuso
Tipologia:
Published version
Licenza:
Tutti i diritti riservati
Dimensione
6.19 MB
Formato
Adobe PDF
|
6.19 MB | Adobe PDF | Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.