Display logic.

Nuel D. Belnap Jr.

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

Keyphrases

real time
logic programming
classical logic
deontic logic
proof theory
modal logic
automated reasoning
defeasible logic
predicate logic
sound and complete axiomatization
logical framework
data mining
belief revision
multi valued
abductive reasoning