Probabilistic temporal logic with countably additive semantics

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103389

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Completeness theorems for σ–additive probabilistic semantics.Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2020 - Annals of Pure and Applied Logic 171 (4):102755.
On countably perfectly meager and countably perfectly null sets.Tomasz Weiss & Piotr Zakrzewski - 2024 - Annals of Pure and Applied Logic 175 (1):103357.
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.
Generating ideals by additive subgroups of rings.Krzysztof Krupiński & Tomasz Rzepecki - 2022 - Annals of Pure and Applied Logic 173 (7):103119.
The differential of probabilistic entailment.Daniele Mundici - 2021 - Annals of Pure and Applied Logic 172 (6):102945.
Elementary equivalence of rings with finitely generated additive groups.Alexei G. Myasnikov, Francis Oger & Mahmood Sohrabi - 2018 - Annals of Pure and Applied Logic 169 (6):514-522.
A logico-geometric comparison of coherence for non-additive uncertainty measures.Esther Anna Corsi, Tommaso Flaminio & Hykel Hosni - 2024 - Annals of Pure and Applied Logic 175 (9):103342.
Towards logical foundations for probabilistic computation.Melissa Antonelli, Ugo Dal Lago & Paolo Pistone - 2024 - Annals of Pure and Applied Logic 175 (9):103341.
Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.
Incomparable prime ideals of recursively enumerable degrees.William C. Calhoun - 1993 - Annals of Pure and Applied Logic 63 (1):39-56.

Analytics

Added to PP
2023-11-16

Downloads
35 (#645,327)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.

View all 11 references / Add more references