Alain Heuerding

Learn More
The purpose of the paper is to present the Logics Workbench, an interactive system aiming to facilitate the access to logical formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the(More)
Imagine that you are not sure how the Hilbert-style calculus for S4 looks like, and somebody has taken your book about modal logics oo your desk. No problem if you have an internet access: Open http://lwbwww.unibe.ch:8080/LWBtheory.html in a WWW browser, search for Hilbert-style calculus in the chapter about S4, and after a few seconds you obtain the(More)
The modal logic literature is notorious for multiple axiomatisations of the same logic and for connicting overloading of axiom names. Many of the interesting interderivability results are still scattered over the often hard to obtain classics. We catalogue the most interesting axioms, their numerous variants, and explore the relationships between them in(More)
A lot of methods have been proposed (and sometimes implemented) for proof search in the propositional modal logics K, KT, and S4. It is diicult to compare the usefulness of these methods in practice, since mostly only the execution times for a few simple formulas have been published. We try to improve this unsatisfactory situation by presenting a set of(More)
  • 1