Probabilistic Temporal Logics
From MaRDI portal
Publication:5024714
DOI10.1007/978-3-030-52954-3_3OpenAlexW3043603431MaRDI QIDQ5024714
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Using branching time temporal logic to synthesize synchronization skeletons
- A probabilistic PDL
- Probabilistic duration calculus for continuous time
- Axioms for tense logic. I: 'Since' and 'until'
- 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
- A logic for reasoning about time and reliability
- A logic for reasoning about probabilities
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- A propositional dynamic logic with qualitative probabilities
- Decision procedures and expressiveness in the temporal logic of branching time
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- An axiomatization of full Computation Tree Logic
- Model checking of probabilistic and nondeterministic systems
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Reasoning with time and chance
- A decidable propositional dynamic logic with explicit probabilities
- The complexity of propositional linear temporal logics
- Propositional temporal logics: decidability and completeness
- A First-order Logic for Reasoning about Knowledge and Probability
- A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
- Probabilistic logics for objects located in space and time
- A First-Order Dynamic Probability Logic
- Probabilistic Logic over Paths
- Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
This page was built for publication: Probabilistic Temporal Logics
