169 search results - page 1 / 34 » Temporalization of Probabilistic Propositional Logic |
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
ENTCS
2007
13 years 4 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
IJAR
2008
13 years 4 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
EUROCAST
2007
Springer
13 years 6 months ago
2007
Springer
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE