Temporalization of Probabilistic Propositional Logic

DOI10.1007/978-3-540-92687-0_4MaRDI QIDQ3605519zbMATH OpenOpenAlexWikidataFDO

Authors Pedro Baltazar, Paulo Mateus

Publication date 24 February 2009

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92687-0_4

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Probabilistic propositional temporal logics
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• scientific article; zbMATH DE number 3869302
• scientific article; zbMATH DE number 1929309
• Annotated probabilistic temporal logic

Cites work

• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• A logic for reasoning about probabilities
• A probabilistic PDL
• Algorithms in real algebraic geometry
• Exogeneous semantics approach to enriching logics
• Reasoning about probabilistic sequential programs
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Symbolic model checking for probabilistic processes
• The complexity of propositional linear temporal logics
• Theory and Applications of Satisfiability Testing
• Tools and Algorithms for the Construction and Analysis of Systems
• Weakly complete axiomatization of exogenous quantum propositional logic

Cited in

(7)

• scientific article; zbMATH DE number 7319046 (Why is no real title available?)
• Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains
• Probabilization of logics: completeness and decidability
• Annotated probabilistic temporal logic
• Super-Solutions
• Exogenous probabilistic computation tree logic
• Annotated probabilistic temporal logic: approximate fixpoint implementation

Describes a project that uses

Uses Software

• SatAbs
• PRISM

This page was built for publication: Temporalization of Probabilistic Propositional Logic

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