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

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