Torben Braüner

Cited by

	All	Since 2020
Citations	1614	371
h-index	21	10
i10-index	35	12

100

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 4 4 3 6 2 8 15 6 14 18 8 23 14 28 38 45 61 50 44 94 94 44 71 92 65 88 69 98 73 85 74 54 70 77 11

Public access

View all

3 articles

1 article

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 Oxford University Press, USA, 2003	314	2003
Hybrid logic and its proof-theory T Braüner Springer Science & Business Media, 2010	181	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	64	2006
Tableau-based decision procedures for hybrid logic T Bolander, T Braüner Journal of Logic and Computation 16 (6), 737-763, 2006	59	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	39	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 logic T Braüner The Stanford encyclopedia of philosophy, 2022	33	2022
An axiomatic approach to adequacy T Braüner Computer Science Department, 1996	32	1996
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks T Braüner Journal of Logic, Language and Information 23, 415-439, 2014	30	2014
Two natural deduction systems for hybrid logic: A comparison T Braüner Journal of Logic, Language and Information 13, 1-23, 2004	29	2004
Natural deduction for first-order hybrid logic T Braüner Journal of Logic, Language and Information 14, 173-198, 2005	28	2005
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	26	2006
Hybrid logic T Braüner Handbook of Philosophical Logic: Volume 17, 1-77, 2013	25	2013
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	23	2016
Ockhamistic logics and true futures of counterfactual moments T Brauner, P Hasle, P Ohrstrom Proceedings. Fifth International Workshop on Temporal Representation and …, 1998	23	1998

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