A proof-theoretic study of the correspondence of hybrid logic and classical logic.

Hirohiko Kushida Mitsu Okada

Published in: J. Log. Lang. Inf. (2007)

Keyphrases

classical logic
proof theoretic
intuitionistic logic
logic programming
modal logic
cut elimination
sequent calculus
nonmonotonic reasoning
proof theory
multi agent
knowledge representation
inference rules
default logic
default reasoning
fixpoint
wide class