A complete system of indexical logic
Notre Dame Journal of Formal Logic 21 (2):293-315 (1980)
| 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 articlesRolf Schock (1980). A Natural Deduction System of Indexical Logic. Notre Dame Journal of Formal Logic 21 (2):351-364.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
Gerard Allwein & Wendy MacCaull (2001). A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68 (2):173-228.
Claes Strannegård (2006). Goal-Driven Reasoning in First-Order Logic. In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.
Lauri Carlson (1988). Quantified Hintikka-Style Epistemic Logic. Synthese 74 (2):223 - 262.
Alberto Zanardo (1991). A Complete Deductive-System for Since-Until Branching-Time Logic. Journal of Philosophical Logic 20 (2):131 - 148.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Beomin Kim (2008). The Translation of First Order Logic Into Modal Predicate Logic. Proceedings of the Xxii World Congress of Philosophy 13:65-69.
John Roberts (1999). "Laws of Nature" as an Indexical Term: A Reinterpretation of Lewis's Best-System Analysis. Philosophy of Science 66 (3):511.
Hans Kamp & Uwe Reyle (1996). A Calculus for First Order Discourse Representation Structures. Journal of Logic, Language and Information 5 (3-4):297-348.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,830 of 549,084 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
