Probabilistic Temporal Logics

DOI10.1007/978-3-030-52954-3_3OpenAlexW3043603431MaRDI QIDQ5024714FDOQ5024714

Aleksandar Perović, Dragan Doder

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)

Cites Work

• Two views of belief: Belief as generalized probability and belief as evidence
• Title not available (Why is that?)
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• A logic for reasoning about time and reliability
• Model checking of probabilistic and nondeterministic systems
• A probabilistic PDL
• A decidable propositional dynamic logic with explicit probabilities
• Using branching time temporal logic to synthesize synchronization skeletons
• A logic for reasoning about probabilities
• Decision procedures and expressiveness in the temporal logic of branching time
• An axiomatization of full computation tree logic
• Propositional temporal logics: decidability and completeness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Title not available (Why is that?)
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• 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.
• A propositional dynamic logic with qualitative probabilities
• A First-Order Dynamic Probability Logic
• Title not available (Why is that?)
• Reasoning with time and chance
• Probabilistic duration calculus for continuous time
• Probabilistic logics for objects located in space and time
• A First-order Logic for Reasoning about Knowledge and Probability
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Title not available (Why is that?)
• Probabilistic Common Knowledge Among Infinite Number of Agents
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Title not available (Why is that?)
• Probabilistic Logic over Paths
• Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Cited In (6)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)