Epistemic Logics for Relevant Reasoners

Igor Sedlár, Pietro Vigiani*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract (may include machine translation)

We present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world. This framework generates two-layered logics combining classical logic on the propositional level with relevant logic in the scope of modal operators. Our main technical result is a general soundness and completeness theorem.

Original languageEnglish
Pages (from-to)1383-1411
Number of pages29
JournalJournal of Philosophical Logic
Volume53
Issue number5
DOIs
StatePublished - 29 Aug 2024
Externally publishedYes

Keywords

  • Epistemic logic
  • Neighbourhood semantics
  • Relevant logic

Fingerprint

Dive into the research topics of 'Epistemic Logics for Relevant Reasoners'. Together they form a unique fingerprint.

Cite this