Probabilistic Semantics for First-Order Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):497-509 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Probabilistic Semantics for First‐Order Logic.Hugues Leblanc - 1979 - Mathematical Logic Quarterly 25 (32):497-509.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Errata: A "Definitive" Probabilistic Semantics for First-Order Logic.[author unknown] - 1983 - Journal of Philosophical Logic 12 (1):101-101.
A “definitive” probabilistic semantics for first-order logic.Kent Bendall - 1982 - Journal of Philosophical Logic 11 (3):255 - 278.
Probabilistic semantics for intuitionistic logic.C. G. Morgan & H. Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
Correction: Probabilistic Semantics Objectified: II. Implication in Probabilistic Model Sets.[author unknown] - 1982 - Journal of Philosophical Logic 11 (4):465-465.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.

Analytics

Added to PP
2016-02-04

Downloads
34 (#445,975)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
The Logic of Scientific Discovery.Karl R. Popper - 1959 - Les Etudes Philosophiques 14 (3):383-383.
The Logic of Scientific Discovery.Karl R. Popper - 1935 - London, England: Routledge.
Logical Foundations of Probability.Ernest H. Hutten - 1950 - Journal of Symbolic Logic 16 (3):205-207.

View all 10 references / Add more references