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 |