(with Edwin Mares and Jeremy Seligman) “Situations, Constrains and Channels,” p. 329–344 in Handbook of Logic and Language (second edition), edited by Johan van Benthem and Alice ter Meulen, Elsevier.

 download pdf

Majer and Peliš have 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(φ ∨ ψ) → (Kφ ∨ 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.


Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.


← Always More | Writing Archive | Logic in Australasia →

about

I’m Greg Restall, and this is my personal website. ¶ From August 2021, I will be the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.

elsewhere

subscribe

To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.

search