A Logic for Reasoning about Time and Reliability.

Hans Hansson Bengt Jonsson

Published in: Formal Aspects Comput. (1994)

Keyphrases

formal theory
modal operators
classical logic
logic programming
causal reasoning
modal logic
automated reasoning
spatial reasoning
sound and complete axiomatization
probabilistic knowledge
dynamic logic
real time
real world
data mining
expert systems
proof theory