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.
2025
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore PHIL-02/A - Logica e filosofia della scienza
Epistemic logic; Relevant logic; Containment logic; Topic-sensitive logics; Hyperintensionality
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/150843
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
  • OpenAlex 1
social impact