| a |
| automated theorem proving | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
Problem Libraries for Non-Classical Logics
Dialogues for proof search |
| axiomatization | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems |
| c |
| Common Logic | Proof Support for Common Logic |
| d |
| dialogical logic | Dialogues for proof search |
| dialogue games | Dialogues for proof search |
| distributed hybrid systems | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems |
| e |
| embedding | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic |
| experiments | HOL Provers for First-order Modal Logics --- Experiments |
| f |
| first-order modal logics | HOL Provers for First-order Modal Logics --- Experiments |
| h |
| higher-order automated theorem provers | HOL Provers for First-order Modal Logics --- Experiments |
| higher-order logic | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic |
| hybrid logic | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic |
| i |
| intuitionistic logic | Problem Libraries for Non-Classical Logics
Dialogues for proof search |
| l |
| logic translation | Proof Support for Common Logic |
| Logics for partial functions | Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic |
| m |
| Metric Temporal Logic | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems |
| modal logic | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Problem Libraries for Non-Classical Logics |
| n |
| nominal logic | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic |
| non-classical logics | Problem Libraries for Non-Classical Logics |
| p |
| problem libraries | Problem Libraries for Non-Classical Logics |
| proof calculus | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems |
| proof search | Dialogues for proof search |
| q |
| quantified dynamic logic | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems |
| t |
| temporal logic | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| theorem proving | Proof Support for Common Logic
Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic |
| three-valued logic | Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic |
| TLA | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
