IWIL 2012: Keyword Index

Keyword	Papers
a
automated theorem proving	Efficient Rule-Matching for Hyper-Tableaux Understanding LEO-II’s proofs
c
coherent logic	Efficient Rule-Matching for Hyper-Tableaux
connection calculus	Implementing Connection Calculi for First-order Modal Logics
f
first-order logic	Efficient Rule-Matching for Hyper-Tableaux
first-order modal logic	Implementing Connection Calculi for First-order Modal Logics
h
higher-order logic	Understanding LEO-II’s proofs
i
implementation	Implementing Connection Calculi for First-order Modal Logics
p
proof objects	Understanding LEO-II’s proofs
r
Rete	Efficient Rule-Matching for Hyper-Tableaux