Quick completeness proofs for some logics of conditionals
Notre Dame Journal of Formal Logic 22 (1):76-84 (1981)
| 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 |
Peter Milne (1997). Quick Triviality Proofs for Probabilities of Conditionals. Analysis 57 (1):75–80.
Karl Schlechta (2000). New Techniques and Completeness Results for Preferential Structures. Journal of Symbolic Logic 65 (2):719-746.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
David Lewis (1971). Completeness and Decidability of Three Logics of Counterfactual Conditionals. Theoria 37 (1):74-85.
Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
Eric C. W. Krabbe (1988). Dialogue Sequents and Quick Proofs of Completeness. In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
André Fuhrmann & Edwin D. Mares (1994). On S. Studia Logica 53 (1):75 - 91.
J. F. A. K. Benthem (1980). Some Kinds of Modal Completeness. Studia Logica 39 (2-3):125 - 141.
Lennart Åqvist (1971). The Completeness of Some Modal Logics with Circumstantials, Subjunctive Conditionals, Transworld Identity and Dispositional Predicates. [Uppsala,Uppsala Universitet].
Gregory Wheeler, Henry E. Kyburg & Choh Man Teng (2007). Conditionals and Consequences. Journal of Applied Logic 5 (4):638-650.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Monthly downloads |
Added to index2010-08-24Total downloads14 ( #82,984 of 548,972 )Recent downloads (6 months)3 ( #25,799 of 548,972 )How can I increase my downloads? |

