학술논문
Neighbourhood Semantics for Modal Relevant Logics.
Document Type
Article
Author
Source
Subject
*NEIGHBORHOODS
*SEMANTICS
*MODAL logic
*
*
Language
ISSN
0022-3611
Abstract
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations. [ABSTRACT FROM AUTHOR]