Contrary to time conditionals in Talmudic logic.

Michael Abraham Dov M. Gabbay Uri J. Schild

Published in: Artif. Intell. Law (2012)

Keyphrases

modal logic
conditional logic
proof theoretic
belief revision
classical logic
sound and complete axiomatization
logic programming
automated reasoning
nonmonotonic inference
multi valued
database
deontic logic
logical framework
nonmonotonic logics
set theory
search algorithm
knowledge base
neural network