A Branching Time Logic with Two Types of Probability Operators.

Zoran Ognjanovic Dragan Doder Zoran Markovic

Published in: SUM (2011)

Keyphrases

epistemic logic
probability distribution
modal logic
temporal reasoning
multiscale
multi valued
probability theory
temporal logic
quantum computation
modal operators
logic programming
building blocks
defeasible logic
digital circuits
formal theory
programming language
information systems
social networks