• Corpus ID: 11139321

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… 
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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
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
TLDR
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.
Grundbegriffe der Wahrscheinlichkeitsrechnung
  • Helly
  • Philosophy, Mathematics
  • 1936
A logic for reasoning about time and reliability
TLDR
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
...
...