Probabilistic IF Logic

In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 69--79 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.
A Many-Valued Probabilistic Conditional Logic.François Lepage - 2000 - In Niall Shanks & Robert B. Gardner (eds.), Logic, Probability and Science. Atlanta: Rodopi. pp. 36.
First steps towards probabilistic justification logic.Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović & Thomas Studer - 2015 - Logic Journal of the IGPL 23 (4):662-687.
Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - 2024 - Annals of Pure and Applied Logic 175 (9):103389.
Data fusion with probabilistic conditional logic.Jens Fisseler & Imre Fehér - 2010 - Logic Journal of the IGPL 18 (4):488-507.
First-order probabilistic conditional logic and maximum entropy.J. Fisseler - 2012 - Logic Journal of the IGPL 20 (5):796-830.
Probabilistic epistemic logic based on neighborhood semantics.Meiyun Guo & Yixin Pan - 2024 - Synthese 203 (5):1-24.
A new probabilistic constraint logic programming language based on a generalised distribution semantics.Steffen Michels, Arjen Hommersom, Peter J. F. Lucas & Marina Velikova - 2015 - Artificial Intelligence 228 (C):1-44.
Formal Verification of Security Proofs of Cryptographic Schemes Using Probabilistic Hoare Logic.Takahiro Kubota - 2012 - Kagaku Tetsugaku 45 (2):15-27.
An expectation-transformer model for probabilistic temporal logic.C. Morgan & A. Mciver - 1999 - Logic Journal of the IGPL 7 (6):779-804.

Analytics

Added to PP
2014-01-28

Downloads
35 (#657,183)

6 months
6 (#913,443)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Sandu
University of Helsinki

Citations of this work

Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.

Add more references