Opening book details…
Can I read Neighbourhood Semantics for Modal Relevant Logics on EtoBox?
Neighbourhood Semantics for Modal Relevant Logics by Nicholas Ferenz; Andrew Tedder is a Computer Science article available to read on EtoBox.
What is Neighbourhood Semantics for Modal Relevant Logics about?
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.
Who reads Neighbourhood Semantics for Modal Relevant Logics?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Nicholas Ferenz; Andrew Tedder
- Publisher
- Springer Science and Business Media LLC
- Published
- 2022
- Language
- EN
- Field
- Computer Science (Physical Sciences)