Logic and Choice.

Published in: TARK (1998)

Keyphrases

modal logic
information retrieval
classical logic
multi valued
defeasible logic
predicate logic
asynchronous circuits
multi agent
automated reasoning
linear temporal logic
intuitionistic logic
sound and complete axiomatization