Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions
Notre Dame Journal of Formal Logic 21 (2):467-479 (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,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKatsuhiko Sano (2009). Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again. Journal of Logic, Language and Information 18 (4):515-539.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Peter Apostoli (1997). On the Completeness of First Degree Weakly Aggregative Modal Logics. Journal of Philosophical Logic 26 (2):169-180.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Paolo Gentilini (1993). Syntactical Results on the Arithmetical Completeness of Modal Logic. Studia Logica 52 (4):549 - 564.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
Richard Zach (1999). Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic. Bulletin of Symbolic Logic 5 (3):331-366.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
David Lewis (1971). Completeness and Decidability of Three Logics of Counterfactual Conditionals. Theoria 37 (1):74-85.
Saul A. Kripke (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16 (1963):83-94.
Mojżesz Presburger & Dale Jabcquette (1991). On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation. History and Philosophy of Logic 12 (2):225-233.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Katsuhiko Sano & Kentaro Sato (2007). Semantical Characterizations for Irreflexive and Generalized Modal Languages. Notre Dame Journal of Formal Logic 48 (2):205-228.
Katsuhiko Sano (2009). Hybrid Counterfactual Logics. Journal of Logic, Language and Information 18 (4).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads12 ( #93,300 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
