Relevant Epistemic Logic with State-Sensitive Topics

Pietro Vigiani*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Article number35
Pages (from-to)1-29
JournalSynthese
Volume205
Issue number1
DOIs
StatePublished - 9 Jan 2025
Externally publishedYes

Keywords

  • Containment logic
  • Epistemic logic
  • Hyperintensionality
  • Relevant logic
  • Topic-sensitive logics

Fingerprint

Dive into the research topics of 'Relevant Epistemic Logic with State-Sensitive Topics'. Together they form a unique fingerprint.

Cite this