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