The substitution interpretation and the expressive power of intensional logics
Notre Dame Journal of Formal Logic 20 (4):858-864 (1979)
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesLauri Hella, Phokion G. Kolaitis & Kerkko Luosto (1996). Almost Everywhere Equivalence of Logics in Finite Model Theory. Bulletin of Symbolic Logic 2 (4):422-443.
Katsumi Sasaki (1990). The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's. Studia Logica 49 (4):471 - 481.
V. Halbach & P. Welch (2009). Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions. Mind 118 (469):71-100.
Ming Hsiung (2008). An Intuitionistic Characterization of Classical Logic. Journal of Philosophical Logic 37 (4).
André Fuhrmann (2003). Some Remarks on Ultrafilter and Normality Logics. Studia Logica 73 (2):197 - 207.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Antti Kuusisto (2013). Expressivity of Imperfect Information Logics Without Identity. Studia Logica 101 (2):237-265.
Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard (2012). A Uniform Logic of Information Dynamics. In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
John Cowles (1979). The Relative Expressive Power of Some Logics Extending First-Order Logic. Journal of Symbolic Logic 44 (2):129-146.
Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso (2007). On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic 36 (5):489 - 509.
D. M. Gabbay (2002). A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. Journal of Philosophical Logic 31 (3):211-243.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #180,507 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
