Notre Dame Journal of Formal Logic 62 (4):669 - 681 (2021)

Authors
Shawn Standefer
National Taiwan University
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Varieties of Relevant S5.Shawn Standefer - forthcoming - Logic and Logical Philosophy:1-28.
A Substructural Approach to Explicit Modal Logic.Shawn Standefer - forthcoming - Journal of Logic, Language and Information:1-30.

Add more citations

Similar books and articles

Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Models for Relevant Modal Logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.Oliver Lemon & Ian Pratt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 115-132.
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.Oliver Lemon & Ian Pratt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 115-132.

Analytics

Added to PP index
2021-12-21

Total views
11 ( #858,830 of 2,533,484 )

Recent downloads (6 months)
3 ( #200,167 of 2,533,484 )

How can I increase my downloads?

Downloads

My notes