Paraconsistency and Paracompleteness in Chellas's Conditional Logics.

Tetsuya Murai Yasuo Kudo Seiki Akama Jair Minoro Abe

Published in: LAPTEC (2005)

Keyphrases

conditional logic
default reasoning
nonmonotonic reasoning
belief revision
modal logic
higher order logic
nonmonotonic inference
knowledge representation and reasoning
pairwise
knowledge base
probabilistic logic
sequent calculi