Alternatives to Standard First-Order Semantics

[1]  William Seager.  Probabilistic Semantics, Identity and Belief , 1983 .

[2]  Charles G. Morgan,et al.  Probability theory, intuitionism, semantics, and the Dutch book argument , 1983, Notre Dame J. Formal Log..

[3]  Charles G. Morgan,et al.  Probabilistic semantics for intuitionistic logic , 1983, Notre Dame J. Formal Log..

[4]  Charles G. Morgan,et al.  There is a probabilistic semantics for every extension of classical sentence logic , 1982, J. Philos. Log..

[5]  Charles G. Morgan,et al.  Simple probabilistic semantics for propositional K, T, B, S4, and S5 , 1982, Journal of Philosophical Logic.

[6]  Bas C. van Fraassen,et al.  Quantification as an act of mind , 1982, J. Philos. Log..

[7]  Kent Bendall.  A “definitive” probabilistic semantics for first-order logic , 1982, J. Philos. Log..

[8]  H. Leblanc.  POPPER'S 1955 AXIOMATIZATION OF ABSOLUTE PROBABILITY , 1982 .

[9]  Joseph Agassi,et al.  Scientific philosophy today : essays in honor of Mario Bunge , 1982 .

[10]  Bas C. van Fraassen,et al.  Probabilistic semantics objectified: I. postulates and logics , 1981, J. Philos. Log..

[11]  Ray E. Jennings,et al.  Probabilistic considerations on modal semantics , 1981, Notre Dame J. Formal Log..

[12]  H. Leblanc.  What Price Substitutivity? A Note on Probability Theory , 1981, Philosophy of Science.

[13]  R. Jeffrey.  Formal Logic: Its Scope and Limits , 1981 .

[14]  Ernest W. Adams.  Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals , 1981, J. Philos. Log..

[15]  H. Leblanc.  Free Intuitionistic Logic: A Formal Sketch , 1981 .

[16]  Hugues Leblanc.  Existence, truth, and provability , 1980 .

[17]  Merrie Bergmann,et al.  The Logic Book , 1980 .

[18]  D. Over,et al.  Rational Belief Systems. , 1980 .

[19]  James W. Garson.  The substitution interpretation and the expressive power of intensional logics , 1979, Notre Dame J. Formal Log..

[20]  Hugues Leblanc.  Generalization in first-order logic , 1979, Notre Dame J. Formal Log..

[21]  Warren D. Goldfarb,et al.  Logic in the twenties: the nature of the quantifier , 1979, Journal of Symbolic Logic.

[22]  Bas C. van Fraassen,et al.  On Carnap and Popper Probability Functions , 1979, J. Symb. Log..

[23]  Timothy McCarthy,et al.  Substitutional quantification and set theory , 1979, J. Philos. Log..

[24]  Kent Bendall,et al.  Belief-theoretic formal semantics for first-order logic and probability , 1979, J. Philos. Log..

[25]  Raymond D. Gumb,et al.  The Completeness of Presupposition-Free Tense Logic , 1979, Math. Log. Q..

[26]  Hugues Leblanc.  Probabilistic Semantics for First-Order Logic , 1979, Math. Log. Q..

[27]  John T. Kearns.  Three substitution-instance interpretations , 1978, Notre Dame J. Formal Log..

[28]  A. Orenstein.  Existence and the particular quantifier , 1978 .

[29]  J. Barkley Rosser,et al.  Logic for mathematicians , 1978 .

[30]  Hartry Field.  Logic, Meaning, and Conceptual Role , 1977 .

[31]  Brian Ellis,et al.  Apq library of philosophy , 1977 .

[32]  Hugues Leblanc.  Truth-Value Semantics , 1976 .

[33]  Hugues Leblanc,et al.  A Completeness Result for Quantificational Tense Logic , 1976, Math. Log. Q..

[34]  Richard C. Jeffrey,et al.  Studies in Inductive Logic and Probability. Volume I , 1974 .

[35]  Leslie Stevenson.  Fbege’s Two Definitions Of Quantification , 1973 .

[36]  Richard C. Jeffrey,et al.  Studies in inductive logic and probability , 1971 .

[37]  C. Parsons.  A Plea for Substitutional Quantification , 1971 .

[38]  Robert Stalnaker.  Probability and Conditionals , 1970, Philosophy of Science.

[39]  W. Quine.  Ontological Relativity and Other Essays , 1969 .

[40]  Hugues Leblanc,et al.  A simplified account of validity and implication for quantificational logic , 1968, Journal of Symbolic Logic.

[41]  N. Belnap,et al.  The substitution interpretation of the quantifiers , 1968 .

[42]  R. Smullyan.  First-Order Logic , 1968 .

[43]  R. L. Goodstein,et al.  Techniques of Deductive Inference , 1967, The Mathematical Gazette.

[44]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[45]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[46]  M. Wartofsky.  Proceedings of the Boston Colloquium for the Philosophy of Science 1961/1962 , 1963 .

[47]  Kurt Schütte.  Lecture notes in mathematical logic , 1962 .

[48]  R. L. Goodstein,et al.  The Foundations of Mathematics , 1962 .

[49]  Kurt Schutte.  Syntactical and Semantical Properties of Simple Type Theory , 1960 .

[50]  Hugues Leblanc.  On Requirements for Conditional Probability Functions , 1960, J. Symb. Log..

[51]  W. Peremans.  Review: Abraham Robinson, Some Problems of Definability in the Lower Predicate Calculus , 1960, Journal of Symbolic Logic.

[52]  G. Wright.  The logical problem of induction , 1957 .

[53]  A. Rényi.  On a new axiomatic theory of probability , 1955 .

[54]  Karl R. Popper,et al.  Two Autonomous Axiom Systems for the Calculus of Probabilities , 1955 .

[55]  Jaakko Hintikka,et al.  Two Papers On Symbolic Logic , 1955 .

[56]  Gisbert Hasenjaeger,et al.  Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe , 1953, Journal of Symbolic Logic.

[57]  R. Carnap.  The continuum of inductive methods , 1952 .

[58]  R. Carnap.  Logical foundations of probability , 1951 .

[59]  Leon Henkin,et al.  The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[60]  R. Carnap.  Introduction to semantics , 1942 .

[61]  B. D. Finetti.  La prévision : ses lois logiques, ses sources subjectives , 1937 .

[62]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[63]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[64]  A. Tarski.  Grundzüge der Systemenkalküls I , 1935 .

[65]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[66]  A. Kolmogoroff.  Grundbegriffe der Wahrscheinlichkeitsrechnung , 1933 .

[67]  F. Ramsey.  The foundations of mathematics , 1932 .

[68]  E. V. Huntington.  A New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russell's Principia Mathematica. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[69]  A. Tarski.  Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .

[70]  H. Bedmann,et al.  Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem , 1922 .

[71]  B. Russell,et al.  A Treatise on Probability , 1921 .

[72]  Leopold Löwenheim.  Über Möglichkeiten im Relativkalkül , 1915 .

[73]  H. Jeffreys.  The Theory of Probability , 1896 .

[74]  G. Frege.  Grundgesetze der Arithmetik , 1893 .