Neighbourhood Semantics for Modal Relevant Logics

Authors: Nicholas Ferenz, A. Tedder
Publication year: 2023
Publication type: Článek v odborném periodiku
Periodical: Journal of Philosophical Logic
Projects: Metamathematics of substructural modal logics
Bibliographic citation: FERENZ, Nicholas, TEDDER, A. Neighbourhood Semantics for Modal Relevant Logics. Journal of Philosophical Logic. 2023, 52(1), 145-181. ISSN 0022-3611. E-ISSN 1573-0433
Dostupné z: doi:10.1007/s10992-022-09668-2.
DOI: 10.1007/s10992-022-09668-2
ID: 559074
Online record: View online record

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.