default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTorben Braüner
Person information
- affiliation: Roskilde University, Department of Communication, Business and Information Technologies
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c25]Torben Braüner:
Logic and Psychology: A Couple of Case Studies. FCR@KI 2024: 11-18- 2023
- [c24]Patrick Blackburn
, Torben Braüner, Julie Lundbak Kofod:
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC 2023: 118-134 - 2020
- [j22]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. 12(2): 504-534 (2020) - [c23]Torben Braüner, Aishwarya Ghosh, Sujata Ghosh:
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. SEFM 2020: 118-128
2010 – 2019
- 2018
- [j21]Jens Ulrik Hansen, Thomas Bolander, Torben Braüner:
Many-valued hybrid logic. J. Log. Comput. 28(5): 883-908 (2018) - [j20]Torben Braüner:
Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99. Stud Logica 106(3): 671-673 (2018) - [c22]Torben Braüner, Irina Polyanskaya, Patrick Blackburn:
A logical investigation of false-belief tasks. CogSci 2018 - 2017
- [j19]Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen:
Completeness and termination for a Seligman-style tableau system. J. Log. Comput. 27(1): 81-107 (2017) - 2016
- [c21]Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner:
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic 2016: 302-321 - [c20]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Recursive belief manipulation and second-order false-beliefs. CogSci 2016 - [c19]Irina Polyanskaya, Torben Braüner, Patrick Blackburn:
Linguistic recursion and Autism Spectrum Disorder. CogSci 2016 - [c18]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC 2016: 125-144 - 2015
- [c17]Torben Braüner:
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given? CogSci 2015 - 2014
- [j18]Torben Braüner:
First-order hybrid logic: introduction and survey. Log. J. IGPL 22(1): 155-165 (2014) - [j17]Torben Braüner:
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. J. Log. Lang. Inf. 23(4): 415-439 (2014) - 2013
- [c16]Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen:
A Seligman-Style Tableau System. LPAR 2013: 147-163 - [c15]Torben Braüner:
Hybrid-Logical Reasoning in False-Belief Tasks. TARK 2013 - [i1]Torben Braüner:
Hybrid-Logical Reasoning in False-Belief Tasks. CoRR abs/1310.6435 (2013) - 2012
- [e4]Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss:
Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. College Publications 2012, ISBN 978-1-84890-068-4 [contents] - 2011
- [j16]Torben Braüner:
Intuitionistic hybrid logic: Introduction and survey. Inf. Comput. 209(12): 1437-1446 (2011) - [e3]Thomas Bolander, Torben Braüner:
International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS 2010, Edinburgh, Scotland, UK, July 10, 2010. Electronic Notes in Theoretical Computer Science 273, Elsevier 2011 [contents] - 2010
- [c14]Thomas Bolander, Torben Braüner:
Preface. HyLo@LICS 2010: 1-2 - [e2]Thomas Bolander, Torben Braüner:
Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009. Electronic Notes in Theoretical Computer Science 262, Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j15]Torben Braüner, Thomas Bolander:
Preface. J. Log. Lang. Inf. 18(4): 435-436 (2009) - [c13]Thomas Bolander, Torben Braüner:
Preface. M4M 2009: 1-2 - 2008
- [j14]Torben Braüner:
Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. 18(4): 631-648 (2008) - [c12]Jens Hansen, Thomas Bolander, Torben Braüner:
Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132 - 2007
- [j13]Torben Braüner:
Why does the proof-theory of hybrid logic work so well? J. Appl. Non Class. Logics 17(4): 521-543 (2007) - [p1]Torben Braüner, Silvio Ghilardi:
First-order modal logic. Handbook of Modal Logic 2007: 549-620 - [e1]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents] - 2006
- [j12]Torben Braüner, Valeria de Paiva:
Intuitionistic hybrid logic. J. Appl. Log. 4(3): 231-255 (2006) - [j11]Torben Braüner:
Axioms for classical, intuitionistic, and paraconsistent hybrid logic. J. Log. Lang. Inf. 15(3): 179-194 (2006) - [j10]Thomas Bolander, Torben Braüner:
Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006) - [j9]Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm:
Preface. Synth. 150(3): 327-328 (2006) - [c11]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. HyLo@FLoC 2006: 1-2 - 2005
- [j8]Torben Braüner:
Natural Deduction for First-Order Hybrid Logic. J. Log. Lang. Inf. 14(2): 173-198 (2005) - [j7]Torben Braüner:
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Stud Logica 81(2): 191-226 (2005) - 2004
- [j6]Torben Braüner:
Two Natural Deduction Systems for Hybrid Logic: A Comparison. J. Log. Lang. Inf. 13(1): 1-23 (2004) - [j5]Torben Braüner:
Natural Deduction for Hybrid Logic. J. Log. Comput. 14(3): 329-353 (2004) - 2002
- [j4]Torben Braüner:
Modal Logic, Truth, and the Master Modality. J. Philos. Log. 31(4): 359-386 (2002) - [c10]Torben Braüner:
Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic 2002: 31-50 - 2000
- [j3]Torben Braüner:
A Cut-Free Gentzen Formulation of the Modal Logic S5. Log. J. IGPL 8(5): 629-643 (2000) - [c9]Torben Braüner:
Homophonic Theory of Truth for Tense Logic. Advances in Modal Logic 2000: 59-72
1990 – 1999
- 1999
- [c8]Torben Braüner, Claus Donner, Peter Øhrstrøm:
A Software System for Learning Peircean Graphs. ICCS 1999: 184-197 - [c7]Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen:
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. ICCS 1999: 456-469 - 1998
- [j2]Torben Braüner:
A Simple Adequate Categorical Model for PCF, II. Fundam. Informaticae 33(4): 339-368 (1998) - [c6]Torben Braüner:
Peircean Graphs for the Modal Logic S5. ICCS 1998: 255-269 - [c5]Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm:
Ockhamistic Logics and True Futures of Counterfactual Moments. TIME 1998: 132-139 - 1997
- [j1]Torben Braüner:
A General Adequacy Result for a Linear Functional Language. Theor. Comput. Sci. 177(1): 27-58 (1997) - [c4]Torben Braüner, Valeria de Paiva:
A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148 - [c3]Torben Braüner:
A Simple Adequate Categorical Model for PCF. TLCA 1997: 82-98 - 1994
- [c2]Torben Braüner:
The Girard Translation Extended with Recursion. CSL 1994: 31-45 - [c1]Torben Braüner:
A Model of Intuitionistic Affine Logic From Stable Domain Theory. ICALP 1994: 340-351
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
