A first-order conditional probability logic

In this article, we present the probability logic LFOCP which is suitable to formalize statements about conditional probabilities of first order formulas. The logical language contains formulas such as CP ≥s (φ, θ) and CP ≤s (φ, θ) with the intended meaning 'the conditional probability of φ giv...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logic journal of the IGPL 2012-02, Vol.20 (1), p.235-253
Hauptverfasser:	Miloševi, Miloš, Ognjanovi, Zoran
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!