A1 is not a conservative extension of s4 but of S
Journal of Philosophical Logic 18 (3):321 - 323 (1989)
| Abstract | In [1], D. W. Hart and C. Mcginn considered two logics A1 and A2. These logics embody part of a tradition about a priori knowledge and necessity. They proved that A2 is a conservative extension of a well-known modal logic S5 but left the problem whether A1 is a conservative extension of S4 open. In this note, we shall show that A1 is not a conservative extension of S4 but of S5, and also correct an inadequate proof. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.
S. K. Thomason (1980). Independent Propositional Modal Logics. Studia Logica 39 (2-3):143 - 144.
Petr Hájek, Jeff Paris & John Shepherdson (2000). Rational Pavelka Predicate Logic is a Conservative Extension of Łukasiewicz Predicate Logic. Journal of Symbolic Logic 65 (2):669-682.
Masaru Shirahata (1996). A Linear Conservative Extension of Zermelo-Fraenkel Set Theory. Studia Logica 56 (3):361 - 392.
Steve Giambrone & Robert K. Meyer (1989). Completeness and Conservative Extension Results for Some Boolean Relevant Logics. Studia Logica 48 (1):1 - 14.
Edwin D. Mares (2000). Ce is Not a Conservative Extension of E. Journal of Philosophical Logic 29 (3):263-275.
Norihiro Kamide (2005). Gentzen-Type Methods for Bilattice Negation. Studia Logica 80 (2-3):265 - 289.
Miklós Ferenczi (2009). On Conservative Extensions in Logics with Infinitary Predicates. Studia Logica 92 (1):121 - 135.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,972 )Recent downloads (6 months)1 ( #63,511 of 548,972 )How can I increase my downloads? |
My notes
Discussion
