Example image of eyePlorer eyePlorer map for 'Hybrid logic': First-order logic Modal logic Propositional calculus Automated reasoning Computer Mathematical logic If and only if Temporal logic Model theory Natural language Proof theory Abox Description logic Tbox Solomon Passy Arthur Prior
Disclaimer