An alternative rule of disjunction in modal logic
Notre Dame Journal of Formal Logic 33 (1):89-100 (1991)
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAthanassios Tzouvaras (2003). The Logic of Multisets Continued: The Case of Disjunction. Studia Logica 75 (3):287 - 304.
Peter Lohmann & Heribert Vollmer (2013). Complexity Results for Modal Dependence Logic. Studia Logica 101 (2):343-366.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Harvey Friedman & Michael Sheard (1989). The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. Journal of Symbolic Logic 54 (4):1456-1459.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.
Richard Evans (2010). Introducing Exclusion Logic as a Deontic Logic. DEON 2010 10 (1):179-195.
Robert Goldblatt (1982). The Semantics of HOARE's Iteration Rule. Studia Logica 41 (2-3):141 - 158.
Susan Haack (1974). Deviant Logic: Some Philosophical Issues. Cambridge University Press.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Takashi Yagisawa (2002). Primitive Worlds. Acta Analytica 17 (1):19-37.
Timothy Williamson (2010). Barcan Formulas in Second-Order Modal Logic. In Themes From Barcan Marcus. Ontos Verlag.
Michael Zakharyaschev (1997). The Greatest Extension of S4 Into Which Intuitionistic Logic is Embeddable. Studia Logica 59 (3):345-358.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,748 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |
My notes
Discussion
