Relevant agents

Marta Bílková*, Ondrej Majer, Michal Peliš, Greg Restall

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Abstract

In [4], Majer and Peliš proposed a relevant logic for epistemic agents, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (Kφ → φ is a theorem) and an existential normal modal operator (K(φV ψ) → (KφV Kψ) is also a theorem). The intended interpretation is that Kφ holds (relative to a situation s) if there is a resource available at s, confirming φ. In this article we expand the class of models to the broader class of 'general epistemic frames'. With this generalisation we provide a sound and complete axiomatisation for the logic of general relevant epistemic frames. We also show, that each of the modal axioms characterises some natural subclasses of general frames.

Original languageEnglish
Title of host publicationAdvances in Modal Logic 2010
Pages22-38
Number of pages17
Publication statusPublished - 2010
Event8th International Conference on Advances in Modal Logic, AiML-2010 - Moscow, Russian Federation
Duration: 24 Aug 201027 Aug 2010

Publication series

NameAdvances in Modal Logic 2006
Volume8

Conference

Conference8th International Conference on Advances in Modal Logic, AiML-2010
Country/TerritoryRussian Federation
CityMoscow
Period24/08/1027/08/10

Keywords

  • Epistemic logic
  • Frame semantics
  • Modal logic
  • Relevant logic
  • Substructural logic

Fingerprint

Dive into the research topics of 'Relevant agents'. Together they form a unique fingerprint.

Cite this