Switch to: Citations

Add references

You must login to add references.
  1. Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
    Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • In Defence of the Barcan Formula.Max Cresswell - 1991 - Logique Et Analyse 34 (135-136):271-282.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Perspectival Thought: A Plea for Moderate Relativism.François Recanati - 2007 - New York: Oxford University Press.
    Our thought and talk are situated. They do not take place in a vacuum but always in a context, and they always concern an external situation relative to which they are to be evaluated. Since that is so, François Recanati argues, our linguistic and mental representations alike must be assigned two layers of content: the explicit content, or lekton, is relative and perspectival, while the complete content, which is absolute, involves contextual factors in addition to what is explicitly represented. Far (...)
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
    Download  
     
    Export citation  
     
    Bookmark   519 citations  
  • Entities and Indicies.M. J. Cresswell - 1990 - Kluwer Academic Publishers.
    ' I heartily recommend it to any philosopher of language interested in the issues. [] Logicians, of course, will want to savour the whole thing.' Australian Journal of Philosophy, 71:3 (1993).
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • A plea for monsters.Philippe Schlenker - 2002 - Linguistics and Philosophy 26 (1):29-120.
    Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...)
    Download  
     
    Export citation  
     
    Bookmark   164 citations  
  • ‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
    According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Relative-sameness counterpart theory.Delia Graff Fara - 2008 - Review of Symbolic Logic 1 (2):167-189.
    Here I propose a coherent way of preserving the identity of material objects with the matter that constitutes them. The presentation is formal, and intended for RSL. An informal presentation is in preliminary draft! -/- Relative-sameness relations—such as being the same person as—are like David Lewis's "counterpart" relations in the following respects: (i) they may hold between objects that aren't identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (1 other version)What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 41-62.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
    Download  
     
    Export citation  
     
    Bookmark   156 citations  
  • Constraints on Some Other Variables in Syntax.Orin Percus - 2000 - Natural Language Semantics 8 (3):173-229.
    In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Entities and Indices.M. J. Cresswell - 1992 - Studia Logica 51 (2):338-339.
    Download  
     
    Export citation  
     
    Bookmark   99 citations  
  • (1 other version)What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 41-62.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)To the memory of Arthur Prior Formal properties of ‘now’.Hans Kamp - 1971 - Theoria 37 (3):227-273.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • Tense logic and standard logic.Johan Fak van Benthem - 1977 - Logique Et Analyse 20 (80):41-83.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • An irreflexivity lemma with applications to axiomatizations of conditions on tense frames.Dov M. Gabbay - 1981 - In Uwe Mönnich (ed.), Aspects of Philosophical Logic: Some Logical Forays Into Central Notions of Linguistics and Philosophy. Dordrecht, Netherland: Dordrecht. pp. 67--89.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.
    We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the current memory. From this perspective, the hybrid logic (↓), for example, can be thought of as a particular case of a memory logic where the memory is an indexed list of elements of the domain.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Essays on Mathematical and Philosophical Logic.Jaakko Hintikka, Ilkka Niiniluoto & Esa Saarinen - 1982 - Studia Logica 41 (4):432-433.
    Download  
     
    Export citation  
     
    Bookmark   23 citations