Switch to: Citations

Add references

You must login to add references.
  1. Quantifiers and propositional attitudes.Willard van Orman Quine - 1955 - Journal of Philosophy 53 (5):177-187.
    Download  
     
    Export citation  
     
    Bookmark   515 citations  
  • Attitudes de dicto and de se.David Lewis - 1979 - Philosophical Review 88 (4):513-543.
    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 at least five planets. (...)
    Download  
     
    Export citation  
     
    Bookmark   862 citations  
  • An essay in modal logic.Georg Henrik von Wright - 1951 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • (1 other version)Quantifying in.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
    Download  
     
    Export citation  
     
    Bookmark   383 citations  
  • Belief De Re.Tyler Burge - 1977 - Journal of Philosophy 74 (6):338-362.
    Download  
     
    Export citation  
     
    Bookmark   224 citations  
  • Modal logic should say more than it does.Melvin Fitting - unknown
    First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, definite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, natural way. We present a semantic tableaux system for the enhanced logic, and (very) briefly discuss implementation issues.
    Download  
     
    Export citation  
     
    Bookmark   8 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 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.
    Download  
     
    Export citation  
     
    Bookmark   12 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations