A completeness proof for adapted probability logic

Annals of Pure and Applied Logic 31:61-70 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90062-x

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Hyperfinite models of adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:71-86.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
An analytic completeness theorem for logics with probability quantifiers.Douglas N. Hoover - 1987 - Journal of Symbolic Logic 52 (3):802-816.
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Proof systems for probabilistic uncertain reasoning.J. Paris & A. Vencovská - 1998 - Journal of Symbolic Logic 63 (3):1007-1039.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,168,820)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperfinite models of adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:71-86.

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Hyperfinite models of adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:71-86.
Probability logic.Douglas N. Hoover - 1978 - Annals of Mathematical Logic 14 (3):287.

Add more references