Towards logical foundations for probabilistic computation

, &
Annals of Pure and Applied Logic 175 (9):103341 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103341

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Logic, language, information and computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
The differential of probabilistic entailment.Daniele Mundici - 2021 - Annals of Pure and Applied Logic 172 (6):102945.
Justification Logic as a foundation for certifying mobile computation.Eduardo Bonelli & Federico Feller - 2012 - Annals of Pure and Applied Logic 163 (7):935-950.
Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - 2024 - Annals of Pure and Applied Logic 175 (9):103389.
A categorical approach to the theory of computation.Philip S. Mulry - 1989 - Annals of Pure and Applied Logic 43 (3):293-305.
Computation paths logic: An expressive, yet elementary, process logic.David Harel & Eli Singerman - 1999 - Annals of Pure and Applied Logic 96 (1-3):167-186.
AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016.Jouko Väänänen - 2019 - Annals of Pure and Applied Logic 170 (9):921-922.
Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
Probing the quantitative–qualitative divide in probabilistic reasoning.Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski & Milan Mossé - 2024 - Annals of Pure and Applied Logic 175 (9):103339.

Analytics

Added to PP
2023-07-29

Downloads
24 (#645,728)

6 months
11 (#339,306)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.
The measure quantifier.Carl F. Morgenstern - 1979 - Journal of Symbolic Logic 44 (1):103-108.

Add more references