Switch to: Citations

Add references

You must login to add references.
  1. Philosophy of Logics.Susan Haack - 1978 - London and New York: Cambridge University Press.
    The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of non-classical systems of logic, including many-valued logics, (...)
    Download  
     
    Export citation  
     
    Bookmark   148 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Download  
     
    Export citation  
     
    Bookmark   411 citations  
  • Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
    The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.
    Download  
     
    Export citation  
     
    Bookmark   164 citations  
  • Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
    Download  
     
    Export citation  
     
    Bookmark   230 citations  
  • (1 other version)Aristotle and the sea battle.G. E. M. Anscombe - 1956 - Mind 65 (257):1-15.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • An axiomatization of Prior's modal calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Three-Valued Temporal Logic Q t and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.
    Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (2 other versions)Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Past, Present and Future.L. Jonathan Cohen - 1970 - Philosophical Quarterly 20 (78):83-84.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (2 other versions)Philosophy of Logics.Susan Haack - 1978 - Philosophy 56 (217):435-436.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.
    Standard possible world semantics for propositional modal languages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., "at" which some propositions lack a truth-value). In Section 2, I build a world semantics, the semantics of TV-models, for standard modal propositional languages, which agrees with the truth-clause for necessity previously identified. Sections 3–5 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A three-valued temporal logic for future contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2007 - Logique Et Analyse 198:99-111.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (2 other versions)Philosophy of Logics.Susan Haack - 1978 - Critica 14 (42):112-119.
    Download  
     
    Export citation  
     
    Bookmark   107 citations