TALK KEYWORD INDEX

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

A | |

automated reasoning | |

automated theorem proving | |

automation | |

B | |

betterness relation | |

C | |

conditional obligation | |

Coq | |

correspondence | |

D | |

deductive forgetting | |

deontic cube | |

Description Logics | |

dyadic deontic logic | |

F | |

feasible fragments | |

fixpoint logic | |

forgetting tools | |

formalization | |

H | |

Higher-order logic | |

higher-order modal logic | |

I | |

intuitionistic logic | |

Isabelle/HOL | |

K | |

Kripke semantics | |

L | |

laws | |

M | |

modal logic | |

N | |

non-classical logics | |

Non-normal modal logics | |

O | |

ontological argument | |

P | |

parameterised Boolean equation systems | |

prefix unification | |

Q | |

Quantified modal logics | |

quantifier elimination | |

S | |

semantic forgetting | |

strictly positive logic | |

T | |

Tableau algorithms |