An Embedding of Classical Logic in S4.

Published in: J. Symb. Log. (1970)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
revision operators
intuitionistic logic
default logic
logic programs
autoepistemic logic
commonsense reasoning
valued logic
general purpose
possibility theory
machine learning