Switch to: Citations

Add references

You must login to add references.
  1. Quantifying In.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
  • Quantifiers and Propositional Attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.
  • Belief D E Re.Tyler Burge - 1977 - Journal of Philosophy 74 (6):338-362.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   175 citations  
  • Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming.Adam J. Grove - 1995 - Artificial Intelligence 74 (2):311-350.
  • Attitudes de Dicto and de Se.David Lewis - 1979 - Philosophical Review 88 (4):513-543.
    t f I hear the patter of little feet around the house, I expect Bruce. What I expect is a cat, a particular cat. If I heard such a patter in another house, I might expect a cat but no particular cat. What I expect then seems to be a Meinongian incomplete cat. I expect winter, expect stormy weather, expect to shovel snow, expect fatigue — a season, a phenomenon, an activity, a state. I expect that someday mankind will inhabit (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   594 citations  
  • Presupposition Projection and the Semantics of Attitude Verbs.Irene Heim - 1992 - Journal of Semantics 9 (3):183-221.
    Karttunen observed that, if the complement of an attitude sentence presupposes p, then that sentence as a whole presupposes that the attitude–holder believes p. I attempt to derive some representative instances of this generalization from suitable assumptions about the lexical semantics of attitude predicates. The enterprise is carried out in a framework of context change semantics, which incorporates Stalnaker's suggestion that presupposition projection results from the stepwise fashion in which information is updated in response to complex utterances. The empirical focus (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   163 citations  
  • Quantified Hintikka-Style Epistemic Logic.Lauri Carlson - 1988 - Synthese 74 (2):223 - 262.
    This paper contains a formal treatment of the system of quantified epistemic logic sketched in Appendix II of Carlson (1983). Section 1 defines the syntax and recapitulates the model set rules and principles of the Appendix system. Section 2 defines a possible worlds semantics for this system, and shows that the Appendix system is complete with respect to this semantics. Section 3 extends the system by an explicit truth operatorT it is true that and considers quantification over nonexistent individuals. Section (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
    Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations