Probabilistic logic over paths

DOI10.1016/J.ENTCS.2008.11.020MaRDI QIDQ5415665zbMATH OpenOpenAlexFDO

Authors Evan Tzanis, Robin Hirsch

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

completenessmodal logicprobabilistic logics

Mathematics Subject Classification ID

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

Recommendations

• Scientific article; zbMATH DE number 1904893
• Validation of Stochastic Systems
• A logic for reasoning about qualitative probability
• Publication:2766659
• A probabilistic dynamic logic

Cites work

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

Cited in

(3)

• scientific article; zbMATH DE number 1696513 (Why is no real title available?)
• Quantitative aspects of programming languages and systems over the past \(2^4\) years and beyond
• Probabilistic Temporal Logics

This page was built for publication: Probabilistic logic over paths

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