${\rm K}1,\,{\rm K}2$ and related modal systems
Notre Dame Journal of Formal Logic 5 (4):299-304 (1964)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| 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 |
E. P. (1999). Two No-Go Theorems for Modal Interpretations of Quantum Mechanics. Studies in History and Philosophy of Science Part B 30 (3):403-431.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Esther Ramharter & Christian Gottschall (2011). Peirce's Search for a Graphical Modal Logic (Propositional Part). History and Philosophy of Logic 32 (2):153 - 176.
C. Pizzi & T. Williamson (2005). Conditional Excluded Middle in Systems of Consequential Implication. Journal of Philosophical Logic 34 (4):333 - 362.
Phiniki Stouppa (2007). A Deep Inference System for the Modal Logic S. Studia Logica 85 (2):199 - 214.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Gerald J. Massey (1965). Four Simple Systems of Modal Propositional Logic. Philosophy of Science 32 (3/4):342-355.
Anjan Shukla (1970). Decision Procedures for Lewis System S1 and Related Modal Systems. Notre Dame Journal of Formal Logic 11 (2):141-180.
Giovanna Corsi (1993). Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. Notre Dame Journal of Formal Logic 34 (2):263-283.
Tijn Borghuis (1998). Modal Pure Type Systems. Journal of Logic, Language and Information 7 (3):265-296.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,507 of 548,976 )Recent downloads (6 months)1 ( #63,511 of 548,976 )How can I increase my downloads? |

