TALK KEYWORD INDEX

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

A | |

automated theorem proving | |

axiomatization | |

C | |

classical logic | |

Common Logic | |

D | |

dialogical logic | |

dialogue games | |

distributed hybrid systems | |

E | |

embedding | |

Experiments | |

F | |

first-order logic | |

First-order modal logics | |

H | |

Higher Order Logic | |

Higher-order automated theorem provers | |

Hybrid Logic | |

I | |

inference search | |

intuitionistic logic | |

L | |

logic translation | |

Logics for partial functions | |

M | |

metric temporal logic | |

modal logic | |

N | |

Nominal Logic | |

non-classical logics | |

P | |

problem libraries | |

proof calculus | |

proof search | |

Q | |

quantified dynamic logic | |

S | |

sequent calculi | |

T | |

temporal logic | |

theorem proving | |

Three-valued logic | |

TLA |