Exogenous probabilistic computation tree logic

DOI10.1016/J.ENTCS.2007.07.007MaRDI QIDQ2870286zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou

Publication date 17 January 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.2007.07.007

zbMATH Keywords

\textsf{CTL}\textsf{EPPL}\textsf{PCTL}Kripke structurestochastic process

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Temporalization of Probabilistic Propositional Logic
• Validation of Stochastic Systems
• Automata, Languages and Programming
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman

Cites work

• A logic for reasoning about probabilities
• A logic for reasoning about time and reliability
• Algorithms in real algebraic geometry
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Exogeneous semantics approach to enriching logics
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• scientific article; zbMATH DE number 1361518 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 7280017 (Why is no real title available?)
• Logics in Artificial Intelligence
• Probabilistic logic
• Reasoning About States of Probabilistic Sequential Programs
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The temporal logic of branching time
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Weakly complete axiomatization of exogenous quantum propositional logic

Cited in

(4)

• Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence
• Exogeneous semantics approach to enriching logics
• A quantitative doxastic logic for probabilistic processes and applications to information-hiding
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Exogenous probabilistic computation tree logic

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