# An Expressive Probabilistic Temporal Logic

@article{Paleo2016AnEP, title={An Expressive Probabilistic Temporal Logic}, author={Bruno Woltzenlogel Paleo}, journal={ArXiv}, year={2016}, volume={abs/1603.07453} }

This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intuition, describes an expressive probabilistic temporal logic for reasoning about actions with uncertain outcomes. The logic is modal and higher-order: modalities annotated by actions are used to express possibility and necessity of propositions in the next states resulting from the actions, and a higher-order function…

## 3 Citations

Temporal Logics Over Finite Traces with Uncertainty (Technical Report)

- Computer Science
- 2019

This work proposes a new probabilistic temporal logic over finite traces using superposition semantics, where all possible evolutions are possible, until observed, and studies the properties of the logic and provides automata-based mechanisms for deriving Probabilistic inferences from its formulas.

Uncertainty representation in software models: a survey

- Computer ScienceSoftw. Syst. Model.
- 2021

The survey presents the definitions and current research status of different proposals for addressing uncertainty modeling and introduces a classification framework that allows to compare and classify existing proposals, analyze their current status and identify new trends.

Temporal Logics Over Finite Traces with Uncertainty

- Computer ScienceAAAI
- 2020

This work proposes a new probabilistic temporal logic over finite traces using superposition semantics, where all possible evolutions are possible, until observed, and provides automata-based mechanisms for deriving probabilistically inferences from its formulas.

## References

SHOWING 1-10 OF 11 REFERENCES

Modal logic

- PhilosophyArtificial Intelligence Review
- 2004

This paper shows how the tree or tableau method provides a simple and easily comprehensible decision procedure for systems such as K, T, S4 and S5 and how the formal techniques of modal logic can be used to analyse several informal problems involving modal concepts, including cases combining modality with quantification.

Interacting with Modal Logics in the Coq Proof Assistant

- PhilosophyCSR
- 2015

An embedding of higher-order modal logics in the Coq proof assistant is described, illustrated here with the successful formalization of Godel’s ontological argument.

Logic and Probability

- Philosophy
- 2013

Logic and probability theory are two of the main tools in the formal study of reasoning, and have been fruitfully applied in areas as diverse as philosophy, artificial intelligence, cognitive science…

The Satisfiability Problem for Probabilistic CTL

- Mathematics2008 23rd Annual IEEE Symposium on Logic in Computer Science
- 2008

It is proved that the problem whether a given quantitative PCTL formula phi has a model of the branching degree at most k, where k > 2 is an arbitrary but fixed constant, is highly undecidable.

Types, Tableaus, and Gödel's God

- Philosophy
- 2002

Preface. Part I: Classical Logic. 1. Classical Logic - Syntax. 2. Classical Logic - Semantics. 3. Classical Logic - Basic Tableaus. 4. Soundness and Completeness. 5. Equality. 6. Extensionality. Part…

Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers

- PhilosophyECAI
- 2014

The background theory of the work presented here offers a novel perspective towards a computational theoretical philosophy in Kurt Godel's ontological argument for God's existence.

A logic for reasoning about time and reliability

- Mathematics, Computer ScienceFormal Aspects of Computing
- 2005

This work presents a logic for stating properties such as, “after a request for service there is at least a 98% probability that the service will be carried out within 2 seconds” and gives algorithms for checking that a given Markov chain satisfies a formula in the logic.

Logic and probability, in: E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy

- Logic and probability, in: E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy
- 2014