Classical BI: Its Semantics and Proof Theory

James Brotherston Cristiano Calcagno

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

proof theory
default reasoning
logical equivalence
proof theoretic
automated reasoning
reasoning problems
belief revision
knowledge representation
logic programming