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 |