The substitution interpretation and the expressive power of intensional logics

Notre Dame Journal of Formal Logic 20 (4):858-864 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882807

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Almost everywhere equivalence of logics in finite model theory.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1996 - Bulletin of Symbolic Logic 2 (4):422-443.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
Some remarks on ultrafilter and normality logics.André Fuhrmann - 2003 - Studia Logica 73 (2):197 - 207.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Perusasive Games: The Expressive Power of Videogames.Ian Bogost - 2007 - MIT Press.
The relative expressive power of some logics extending first-order logic.John Cowles - 1979 - Journal of Symbolic Logic 44 (2):129-146.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations.Chris Fox & Shalom Lappin - unknown
A theory of hypermodal logics: Mode shifting in modal logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.

Analytics

Added to PP
2010-08-24

Downloads
17 (#846,424)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

The unaxiomatizability of a quantified intensional logic.James W. Garson - 1980 - Journal of Philosophical Logic 9 (1):59 - 72.

Add more citations

References found in this work

No references found.

Add more references