Journal of Semantics 1 (1):43-59 (1982)
A programme to construct an extension of predicate calculus is proposed in which predicates and constants are indexed and interpreted with respect to different (mini-)vorlds reffered to by indices. From another perspective the proposed system is an extension of the idea of indexing noun phrases in syntactic representations in generative grammar. Some applications are given, bx particular, it is applied to the description of ambiguities in intensional contexts, and a comparison is made with a description recently given by Saarinen
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Incomplete Descriptions and Indistinguishable Participants.Paul Elbourne - 2016 - Natural Language Semantics 24 (1):1-43.
Similar books and articles
Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Automatic Proofs for Theorems on Predicate Calculus.Sueli Mendes dos Santos - 1972 - [Rio De Janeiro, Pontificia Universidade Católica Do Rio De Janeiro].
The Statistical Estimation of Provability in the First Order Predicate Calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven, Technische Hogeschool (Inslindelaan 2).
Wittgensteinian Predicate Logic.Kai Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Feature-Placing Sentences and the Canonical Scheme.Xiaoqiang Han - 2009 - Abstracta 4 (2):30-42.
Added to index2010-09-02
Total downloads3 ( #691,383 of 2,158,467 )
Recent downloads (6 months)1 ( #354,697 of 2,158,467 )
How can I increase my downloads?