A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
Journal of Philosophical Logic 3 (4):373 - 379 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCharles B. Cross (2006). Conditional Logic and the Significance of Tooley's Example. Analysis 66 (292):325–335.
Josep M. Font & Ventura Verdú (1989). A First Approach to Abstract Modal Logics. Journal of Symbolic Logic 54 (3):1042-1062.
Krister Segerberg (1989). Notes on Conditional Logic. Studia Logica 48 (2):157 - 168.
Tijn Borghuis (1998). Modal Pure Type Systems. Journal of Logic, Language and Information 7 (3):265-296.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
C. Pizzi & T. Williamson (2005). Conditional Excluded Middle in Systems of Consequential Implication. Journal of Philosophical Logic 34 (4):333 - 362.
Ermanno Bencivenga & Peter W. Woodruff (1981). A New Modal Language with the Λ Operator. Studia Logica 40 (4):383 - 389.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,250 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
