Probabilistic Logic over Paths

DOI10.1016/j.entcs.2008.11.020zbMath1286.03074OpenAlexW2056171903MaRDI QIDQ5415665

Evan Tzanis, Robin Hirschl

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.11.020

zbMATH Keywords

modal logiccompletenessprobabilistic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48)

Related Items (1)

Probabilistic Temporal Logics

Cites Work

• An analysis of first-order logics of probability
• A probabilistic dynamic logic
• A probabilistic PDL
• Modal operators with probabilistic interpretations. I
• Semantics of probabilistic programs
• Decidability and expressiveness for first-order logics of probability
• A logic for reasoning about time and reliability
• The relationship between knowledge, belief, and certainty
• Conditional probability meets update logic
• A logic for reasoning about probabilities
• Weakly complete axiomatization of exogenous quantum propositional logic
• Bisimulation for labelled Markov processes
• Probabilistic temporal logics via the modal mu-calculus
• Logic and Agent Programming Languages
• A Logic of Probability with Decidable Model Checking
• Expressivity and completeness for public update logics via reduction axioms
• A decidable propositional dynamic logic with explicit probabilities
• Reasoning about knowledge and probability
• Validation of Stochastic Systems
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity

This page was built for publication: Probabilistic Logic over Paths