Logical consequence in modal logic: Natural deduction in ${\rm S}5$
Notre Dame Journal of Formal Logic 10 (4):370-384 (1969)
| 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,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGeorge Weaver & John Corcoran (1974). Logical Consequence in Modal Logic. II. Some Semantic Systems for ${\Rm S}4$. Notre Dame Journal of Formal Logic 15 (3):370-378.
William H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.
Maria Da Paz N. Medeiros (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799 - 809.
Matthew McKeon, Logical Consequence, Deductive-Theoretic Conceptions. Internet Encyclopedia of Philosophy.
Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. Studia Logica 60 (1):161-208.
Matthew McKeon, Logical Consequence, Philosophical Considerations. Internet Encyclopedia of Philosophy.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.
Francis Jeffry Pelletier (1999). A Brief History of Natural Deduction. History and Philosophy of Logic 20 (1):1-31.
John Corcoran (1969). Three Logical Theories. Philosophy of Science 36 (2):153-177.
Michael Dickson (1996). Logical Foundations for Modal Interpretations of Quantum Mechanics. Philosophy of Science 63 (3):329.
Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.
Edgar Jose Andrade & Edward Samuel Becerra (2008). Establishing Connections Between Aristotle's Natural Deduction and First-Order Logic. History and Philosophy of Logic 29 (4):309-325.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,501 of 549,071 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
