Calendar Logic.

Hans Jürgen Ohlbach Dov M. Gabbay

Published in: J. Appl. Non Class. Logics (1998)

Keyphrases

real time
classical logic
modal logic
multi valued
logic synthesis
logic programming
automated reasoning
predicate logic
data sets
probability theory
database
decision making
set theory
epistemic logic
dynamic logic
rule engine
sound and complete axiomatization