Torben Braüner

Relational Reasoning about Functions and Nondeterminism

Søren B. Lassen, Olivier Danvy, Glynn Winskel et al. · 1999 · 77 citations

Computing, Computer Science, Formal Methods +15

A cut-free Gentzen formulation of the modal logic S5

Torben Braüner · Logic Journal of IGPL · 2000 · 38 citations

Humanities, Computer Science, Mathematics +7

Natural Deduction for Hybrid Logic

Torben Braüner · Journal of Logic and Computation · 2004 · 35 citations

Computing, Computer Science, Logic +7

Tableau-based Decision Procedures for Hybrid Logic

Thomas Bolander, Torben Braüner · Journal of Logic and Computation · 2006 · 32 citations

Computing, Computer Science, Mathematics +13

Natural Deduction for First-Order Hybrid Logic

Torben Braüner · Journal of Logic Language and Information · 2005 · 27 citations

Computing, Computer Science, Formal Methods +11