Probabilistic Temporal Logics

DOI10.1007/978-3-030-52954-3_3MaRDI QIDQ5024714zbMATH OpenOpenAlexFDO

Authors Dragan Doder, Aleksandar Perović

Publication date 27 January 2022

Published in Probabilistic Extensions of Various Logical Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-52954-3_3

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• scientific article; zbMATH DE number 3869302
• Probabilistic propositional temporal logics
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• A logic for reasoning about time and reliability
• scientific article; zbMATH DE number 1929309

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 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• A First-Order Dynamic Probability Logic
• 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 probabilistic PDL
• A propositional dynamic logic with qualitative probabilities
• A propositional linear time logic with time flow isomorphic to ^2
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• AGM-style revision of beliefs and intentions
• An axiomatization of full computation tree logic
• Axioms for tense logic. I: 'Since' and 'until'
• Decision procedures and expressiveness in the temporal logic of branching time
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Model checking of probabilistic and nondeterministic systems
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
• Probabilistic duration calculus for continuous time
• Probabilistic logic over paths
• Probabilistic logics for objects located in space and time
• Propositional temporal logics: decidability and completeness
• Reasoning with time and chance
• The complexity of propositional linear temporal logics
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Two views of belief: Belief as generalized probability and belief as evidence
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(7)

• Probabilistic temporal reasoning using superposition semantics
• scientific article; zbMATH DE number 7319046 (Why is no real title available?)
• Stochastic temporal logic abstractions: challenges and opportunities
• PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
• Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
• scientific article; zbMATH DE number 940714 (Why is no real title available?)
• scientific article; zbMATH DE number 2129913 (Why is no real title available?)

This page was built for publication: Probabilistic Temporal Logics

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