Switch to: Citations

References in:

Heterogeneous logic

Erkenntnis 29 (3):395 - 435 (1988)

Add references

You must login to add references.
  1. Logic, Meaning, and Conceptual Role.Hartry H. Field - 1977 - Journal of Philosophy 74 (7):378-409.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Representational of conditional probabilities.Bas C. Van Fraassen - 1976 - Journal of Philosophical Logic 5 (3):417-430.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Classical propositional operators: an exercise in the foundations of logic.Krister Segerberg - 1982 - New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Tense Logic.Robert P. Mcarthur - 1976 - Journal of Symbolic Logic 45 (1):184-185.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • A note on the axiomatisation of brouwersche modal logic.R. E. Jennings - 1981 - Journal of Philosophical Logic 10 (3):341 - 343.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Scope and subjunctivity.I. L. Humberstone - 1982 - Philosophia 12 (1-2):99-126.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Operational semantics for positive "R".I. L. Humberstone - 1987 - Notre Dame Journal of Formal Logic 29:61-80.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • From worlds to possibilities.I. L. Humberstone - 1981 - Journal of Philosophical Logic 10 (3):313 - 339.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Linguistically invariant inductive logic.Ian Hacking - 1969 - Synthese 20 (1):25 - 47.
    Carnap's early system of inductive logic make degrees of confirmation depend on the languages in which they are expressed. They are sensitive to which predicates are, in the language, taken as primitive. Hence they fail to be ‘linguistically invariant’. His later systems, in which prior probabilities are assigned to elements of a model rather than sentences of a language, are sensitive to which properties in the model are called primitive. Critics have often protested against these features of his work. This (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Tense Logic.Robert P. McArthur - 1976 - Dordrecht and Boston: Reidel.
    This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.
    From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Many-sorted modal logics.Steven Thomas Kuhn - 1977 - Uppsala: [Filosofiska föreningen].
    Download  
     
    Export citation  
     
    Bookmark   4 citations