Justification Logic.

Sergei N. Artëmov

Published in: JELIA (2008)

Keyphrases

classical logic
sound and complete axiomatization
real time
modal logic
predicate logic
deontic logic
multiscale
logic programming
automated reasoning
multi valued
artificial intelligence
probabilistic logic
nonmonotonic logics
formal theory
linear logic