A Local System for Classical Logic.

Kai Brünnler Alwen Fernanto Tiu

Published in: LPAR (2001)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
intuitionistic logic
default logic
valued logic
revision operators
commonsense reasoning
possibility theory
autoepistemic logic
automated theorem proving
rationality postulates
computer science and artificial intelligence