Algebras for Relevant Reasoners

The informational interpretations of relevant logic suggest that it provides a natural framework for the development of epistemic logic. This paper proposes a simple extension of relevant modal logic to formalise reasoning about relevant reasoners situated in classical worlds. This approach avoids many of the tech- nical challenges of previous proposals and allows for straightforward algebraic generalisation. The main technical result is a representation theorem for a class of relevant algebras, which provides a solid foundation for further exploration of relevant epistemic logic. 2020 Mathematics Subject Classification. Primary: 03B47, Secondary: 03B42, 03B45.

Authors

• Igor Sedlár

Keywords

No keywords are indexed for this paper.