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

Links

PhilArchive



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

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.
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.
On countably perfectly meager and countably perfectly null sets.Tomasz Weiss & Piotr Zakrzewski - 2024 - Annals of Pure and Applied Logic 175 (1):103357.
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.
Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.
Towards logical foundations for probabilistic computation.Melissa Antonelli, Ugo Dal Lago & Paolo Pistone - 2024 - Annals of Pure and Applied Logic 175 (9):103341.
Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.

Analytics

Added to PP
2023-11-16

Downloads
26 (#630,780)

6 months
22 (#128,699)

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

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