On intuitionistic modal epistemic logic
Journal of Philosophical Logic 21 (1):63--89 (1992)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMauro Ferrari (1997). Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics. Studia Logica 59 (3):303-330.
Richard Sylvan (1988). Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic? Philosophical Studies 53 (1):147 - 151.
Johan Van Benthem (2009). The Information in Intuitionistic Logic. Synthese 167 (2):251 - 270.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Dimiter Vakarelov (1985). An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics. Studia Logica 44 (1):79 - 85.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Analytics
Monthly downloads |
Added to index2010-01-18Total downloads11 ( #99,573 of 549,119 )Recent downloads (6 months)1 ( #63,361 of 549,119 )How can I increase my downloads? |
My notes
Discussion
