An empirical analysis of modal theorem provers.

Ullrich Hustadt Renate A. Schmidt

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

theorem prover
inference rules
modal logic
theorem proving
automated reasoning
automated theorem proving
first order logic
term rewriting
computer algebra
automated deduction
higher order logic
formal semantics
proof search
timed automata
constraint satisfaction