The logic of historical necessity as founded on two-dimensional modal tense logic.

Lennart Åqvist

Published in: J. Philos. Log. (1999)

Keyphrases

modal logic
logic programming
three dimensional
automated reasoning
predicate logic
classical logic
computer vision
epistemic logic
formal theory
multi valued
multi dimensional
nonmonotonic logics
digital circuits
inference rules
real time
modal operators
sound and complete axiomatization