TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

automated theorem proving | |

B | |

Backtracking | |

C | |

classical higher-order logic | |

Connection-based proof-search | |

counterexamples | |

D | |

deontic logis | |

F | |

fixpoint logic | |

focused sequent calculus | |

focused sequent calculus for first-order modal logic | |

H | |

higher-order logic programming | |

I | |

Infinite-valued logic | |

Isabelle/HOL | |

L | |

Labelled proof-systems | |

labelled sequent calculi | |

lambda prolog | |

linear logic | |

M | |

modal logic | |

modal mu calculus | |

N | |

non-denoting terms | |

non-rigid terms | |

P | |

Paraconsistent logic | |

parameterised Boolean equation systems | |

proof assistant | |

propositional logic | |

Q | |

quantified modal logic | |

quantified modal logics | |

S | |

SAT problem | |

structural rules |