Folgen
Torben Braüner
Torben Braüner
Roskilde University
Bestätigte E-Mail-Adresse bei ruc.dk
Titel
Zitiert von
Zitiert von
Jahr
Papers on time and tense
AN Prior, PFV Hasle
Oxford University Press, USA, 2003
3142003
Hybrid logic and its proof-theory
T Braüner
Springer Science & Business Media, 2010
1822010
9 First-order modal logic
T Braüner, S Ghilardi
Studies in Logic and Practical Reasoning 3, 549-620, 2007
1522007
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
592006
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
392003
Determinism and the origins of temporal logic
T Braüner, P Hasle, P Øhstrøm
Advances in temporal logic, 185-206, 2000
382000
Hybrid logic
T Braüner
The Stanford encyclopedia of philosophy, 2022
332022
An axiomatic approach to adequacy
T Braüner
Computer Science Department, 1996
321996
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
T Braüner
Journal of Logic, Language and Information 23, 415-439, 2014
302014
Two natural deduction systems for hybrid logic: A comparison
T Braüner
Journal of Logic, Language and Information 13, 1-23, 2004
292004
Natural deduction for first-order hybrid logic
T Braüner
Journal of Logic, Language and Information 14, 173-198, 2005
282005
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
262006
Hybrid logic
T Braüner
Handbook of Philosophical Logic: Volume 17, 1-77, 2013
252013
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
232016
Ockhamistic logics and true futures of counterfactual moments
T Brauner, P Hasle, P Ohrstrom
Proceedings. Fifth International Workshop on Temporal Representation and …, 1998
231998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20