An Incompleteness Theorem for Modal Relevant Logics
Journal
NOTRE DAME JOURNAL OF FORMAL LOGIC
Journal Volume
62
Journal Issue
4
Pages
669-681
Date Issued
2021
Author(s)
Abstract
In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.
Subjects
relevant logic; modal logic; modal relevant logic; incompleteness; reduced frames; SIMPLIFIED SEMANTICS; TRIVIALITY; ROUTES
SDGs
Publisher
DUKE UNIV PRESS
Type
journal article