Obserwuj
Torben Braüner
Torben Braüner
Roskilde University
Zweryfikowany adres z ruc.dk
Tytuł
Cytowane przez
Cytowane przez
Rok
Papers on time and tense
AN Prior, PFV Hasle
OUP Oxford, 2003
3212003
Hybrid logic and its proof-theory
T Braüner
Springer Science & Business Media, 2010
1872010
9 First-order modal logic
T Braüner, S Ghilardi
Studies in Logic and Practical Reasoning 3, 549-620, 2007
1512007
Intuitionistic hybrid logic
T Braüner, V de Paiva
Journal of Applied Logic 4 (3), 231-255, 2006
652006
Tableau-based decision procedures for hybrid logic
T Bolander, T Braüner
Journal of Logic and Computation 16 (6), 737-763, 2006
612006
Natural deduction for hybrid logic
T Braüner
Journal of Logic and Computation 14 (3), 329-353, 2004
482004
A cut-free Gentzen formulation of the modal logic S5
T Braüner
Logic Journal of IGPL 8 (5), 629-643, 2000
472000
Towards constructive hybrid logic
T Brauner, V De Paiva
Workshop Proceedings of Methods for Modalities 3, 15, 2003
382003
Determinism and the origins of temporal logic
T Braüner, P Hasle, P Øhstrøm
Advances in temporal logic, 185-206, 2000
382000
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
T Braüner
Journal of Logic, Language and Information 23, 415-439, 2014
322014
An axiomatic approach to adequacy
T Braüner
Computer Science Department, 1996
321996
Hybrid logic
T Braüner
The Stanford encyclopedia of philosophy, 2022
312022
Natural deduction for first-order hybrid logic
T Braüner
Journal of Logic, Language and Information 14, 173-198, 2005
302005
Two natural deduction systems for hybrid logic: A comparison
T Braüner
Journal of Logic, Language and Information 13, 1-23, 2004
302004
Cut-elimination for full intuitionistic linear logic
T Bräuner, V De Paiva
University of Cambridge, Computer Laboratory, 1996
281996
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
T Braüner
Journal of Logic, Language and Information 15, 179-194, 2006
272006
Ockhamistic logics and true futures of counterfactual moments
T Brauner, P Hasle, P Ohrstrom
Proceedings. Fifth International Workshop on Temporal Representation and …, 1998
251998
Many-valued hybrid logic
JU Hansen, T Bolander, T Braüner
Journal of Logic and Computation 28 (5), 883-908, 2018
242018
Second-order false-belief tasks: Analysis and formalization
T Braüner, P Blackburn, I Polyanskaya
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
242016
A formulation of linear logic based on dependency-relations
T Braüner, V de Paiva
International Workshop on Computer Science Logic, 129-148, 1997
221997
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20