Torben Braüner

Cited by

	All	Since 2020
Citations	1638	381
h-index	21	10
i10-index	36	11

100

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 16 6 14 18 7 21 17 28 38 54 61 51 44 89 94 46 68 90 67 91 71 96 72 85 79 52 68 80 17

Public access

View all

2 articles

available

not available

Based on funding mandates

Co-authors

Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Per HasleUniversity of CopenhagenVerified email at ku.dk
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
Peter ØhrstrømAalborg UniversityVerified email at hum.aau.dk
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Jørgen VilladsenDTU ComputeVerified email at dtu.dk
Julie Lundbak KofodPh.D. in Philosophy, Roskilde UniversityVerified email at ruc.dk
Klaus Frovin JoergensenVerified email at ruc.dk
Jens Ulrik HansenAssociate Professor, Roskilde UniversityVerified email at ruc.dk
Sujata GhoshComputer Science, Indian Statistical Institute, ChennaiVerified email at isichennai.res.in
Inge-Marie EigstiUniversity of ConnecticutVerified email at uconn.edu
Jørgen Fischer NilssonDTU ComputeVerified email at dtu.dk
Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerified email at indiana.edu

Torben Braüner

Roskilde University

Verified email at ruc.dk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Papers on time and tense AN Prior, PFV Hasle OUP Oxford, 2003	321	2003
Hybrid logic and its proof-theory T Braüner Springer Science & Business Media, 2010	187	2010
9 First-order modal logic T Braüner, S Ghilardi Studies in Logic and Practical Reasoning 3, 549-620, 2007	151	2007
Intuitionistic hybrid logic T Braüner, V de Paiva Journal of Applied Logic 4 (3), 231-255, 2006	65	2006
Tableau-based decision procedures for hybrid logic T Bolander, T Braüner Journal of Logic and Computation 16 (6), 737-763, 2006	61	2006
Natural deduction for hybrid logic T Braüner Journal of Logic and Computation 14 (3), 329-353, 2004	48	2004
A cut-free Gentzen formulation of the modal logic S5 T Braüner Logic Journal of IGPL 8 (5), 629-643, 2000	47	2000
Towards constructive hybrid logic T Brauner, V De Paiva Workshop Proceedings of Methods for Modalities 3, 15, 2003	38	2003
Determinism and the origins of temporal logic T Braüner, P Hasle, P Øhstrøm Advances in temporal logic, 185-206, 2000	38	2000
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks T Braüner Journal of Logic, Language and Information 23, 415-439, 2014	32	2014
An axiomatic approach to adequacy T Braüner Computer Science Department, 1996	32	1996
Hybrid logic T Braüner The Stanford encyclopedia of philosophy, 2022	31	2022
Natural deduction for first-order hybrid logic T Braüner Journal of Logic, Language and Information 14, 173-198, 2005	30	2005
Two natural deduction systems for hybrid logic: A comparison T Braüner Journal of Logic, Language and Information 13, 1-23, 2004	30	2004
Cut-elimination for full intuitionistic linear logic T Bräuner, V De Paiva University of Cambridge, Computer Laboratory, 1996	28	1996
Axioms for classical, intuitionistic, and paraconsistent hybrid logic T Braüner Journal of Logic, Language and Information 15, 179-194, 2006	27	2006
Ockhamistic logics and true futures of counterfactual moments T Brauner, P Hasle, P Ohrstrom Proceedings. Fifth International Workshop on Temporal Representation and …, 1998	25	1998
Many-valued hybrid logic JU Hansen, T Bolander, T Braüner Journal of Logic and Computation 28 (5), 883-908, 2018	24	2018
Second-order false-belief tasks: Analysis and formalization T Braüner, P Blackburn, I Polyanskaya Logic, Language, Information, and Computation: 23rd International Workshop …, 2016	24	2016
A formulation of linear logic based on dependency-relations T Braüner, V de Paiva International Workshop on Computer Science Logic, 129-148, 1997	22	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors