Probabilistic temporal logic with countably additive semantics

DOI10.1016/J.APAL.2023.103389MaRDI QIDQ6560997zbMATH OpenFDO

Authors Dragan Doder, Zoran Ognjanović

Publication date 24 June 2024

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2023.103389

zbMATH Keywords

completeness theoremdecidabilityprobabilistic logiclinear-time temporal logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic with extra quantifiers and operators (03C80) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cites work

• scientific article; zbMATH DE number 1696513 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3854804 (Why is no real title available?)
• scientific article; zbMATH DE number 4145875 (Why is no real title available?)
• scientific article; zbMATH DE number 3816010 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• A First-order Logic for Reasoning about Knowledge and Probability
• A decidable propositional dynamic logic with explicit probabilities
• A logic for reasoning about evidence
• A logic for reasoning about probabilities
• A logic for reasoning about time and reliability
• A logic of time, chance, and action for representing plans
• A probabilistic PDL
• A propositional linear time logic with time flow isomorphic to ^2
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• An axiomatization of full computation tree logic
• An epistemic probabilistic logic with conditional probabilities
• Annotated probabilistic temporal logic
• Automated temporal reasoning about reactive systems
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Epistemic probability logic simplified
• Probabilistic logic
• Probabilistic logics with independence and confirmation
• Probability logics. Probability-based formalization of uncertain reasoning
• Propositional temporal logics: decidability and completeness
• Reasoning about knowledge and probability
• Reasoning with time and chance
• The complexity of propositional linear temporal logics

Cited in

(1)

• Reasoning about group responsibility for exceeding risk threshold in one-shot games

This page was built for publication: Probabilistic temporal logic with countably additive semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560997)