No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992019
If you made any changes in Pure these will be visible here soon.

Research Output 1999 2019

2007

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Braüner, T. (ed.), Villadsen, J. (ed.) & Bolander, T. (ed.), 2007, Dublin: ESSLLI. 95 p.

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J., 2007, In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T., 2006, In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

First-Order Modal Logic

Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (eds.). Amsterdam: Pergamon Press, p. 549-620 73 p. (Studies in Logic and Practical Reasoning; No. 3).

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

Hybrid Logic

Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V., 2006, In : Journal of Applied Logic. 4, 3, p. 231-255 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Kurt Gödel og Ufuldstændigheden

Braüner, T., 2006, In : Weekendavisen.

Research output: Contribution to journalContribution to newspaper - Newspaper articleCommunication

Logikkens Muligheder og Grænser

Braüner, T., 2006, In : Aktuel Naturvidenskab. 6, p. 32-34 3 p.

Research output: Contribution to journalJournal articleCommunication

Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2006, In : Journal of Logic and Computation. 16, 6, p. 737-763 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

The Logic of Time and Modality

Braüner, T. (ed.), Hasle, P. (ed.) & Øhrstrøm, P. (ed.), 2006, Kluwer Academic Publishers. 192 p. (Synthese; No. 3, Vol. 150).

Research output: Book/ReportAnthologyResearch

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P., 2006, In : Synthese. 150, 3, p. 327-328 2 p.

Research output: Contribution to journalEditorialResearch

2005

Natural Deduction for First-Order Hybrid Logic

Braüner, T., 2005, In : Journal of Logic, Language and Information. 14, p. 173-198

Research output: Contribution to journalJournal articleResearchpeer-review

Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

Braüner, T., 2005, In : Studia Logica : An International Journal for Symbolic Logic. 81, p. 191-226

Research output: Contribution to journalJournal articleResearchpeer-review

Two Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2005, 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Schlingloff, H. (ed.). Humboldt-Universität zu Berlin, p. 79-96

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

2004

Natural Deduction for Hybrid Logic

Braüner, T., 2004, In : Journal of Logic and Computation. 14, 3, p. 329-353

Research output: Contribution to journalJournal articleResearchpeer-review

Two Natural Deduction Systems for Hybrid Logic: A Comparison

Braüner, T., 2004, In : Journal of Logic, Language and Information. 13, 1, p. 1-23

Research output: Contribution to journalJournal articleResearchpeer-review

2003

An introduction to A.N. Prior's logic of time and modality

Braüner, T., 2003, In : Phi News. 3

Research output: Contribution to journalJournal articleResearch

Functional completeness for a natural deduction formulation of hybridized S5

Braüner, T., 2003, Advances in Modal Logic. Volume 4. Balbiani, P., Suzuki, N-Y., Wolter, F. & Zakharyaschev, M. (eds.). King's College Publications, p. 31-49

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Revised and expanded edition of Arthur N. Prior: Papers on Time and Tense

Braüner, T. (ed.), Hasle, P. (ed.), Øhrstrøm, P. (ed.) & Copeland, J. (ed.), 2003, Oxford University Press. 342 p.

Research output: Book/ReportAnthologyResearch

Sprog, tid og logik

Braüner, T. & Hasle, P., 2003, Sprog og Matematik. Henrichsen, P. J. & Prebensen, H. (eds.). Copenhagen: Handelshøjskolens Forlag, p. 84-101

Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

Towards constructive hybrid logic

Braüner, T. & de Paiva, V., 2003, Roskilde: Roskilde Universitet. 26 p. (Datalogiske Skrifter; No. 97).

Research output: Book/ReportReportResearch

Towards constructive hybrid logic (extended abstract)

Braüner, T. & de Paiva, V., 2003, Workshop Proceedings of Methods for Modalities 3. Areces, C. & Blackburn, P. (eds.). INRIA

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

2002

Homophonic theory of truth for tense logic

Braüner, T., 2002, Advances in Modal Logic. Volume 3. Wolter, F., Wansing, H., Rijke, M. D. & Zakharyaschev, M. (eds.). World Scientific, p. 59-72

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Modal logic, truth, and the master modality

Braüner, T., 2002, In : Journal of Philosophical Logic. 31, p. 359-386

Research output: Contribution to journalJournal articleResearch

Natural deduction for first-order hybrid logic

Braüner, T., 2002, Workshop Proceedings of Fourth Workshop on Hybrid Logics. Areces, C., Blackburn, P., Marx, M. & Sattler, U. (eds.). p. 37-51

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

2001

Natural deduction for hybrid logic (extended abstract)

Braüner, T., 2001, Workshop Proceedings of Methods for Modalities 2. Areces, C. & Rijke, M. D. (eds.). University of Amsterdam

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

2000

A cut-free gentzen formulation of the Modal Logic S5

Braüner, T., 2000, In : Logic journal of the IGPL (Print). 8, 5, p. 629-643

Research output: Contribution to journalJournal articleResearchpeer-review

Determinism and the origins of temporal logic

Braüner, T., Hasle, P. & Øhrstrøm, P., 2000, Advances in Temporal Logic. Barringer, H., Fisher, M., Gabbay, D. & Gough, G. (eds.). Kluwer Academic Publishers, p. 185-206 (Applied Logic Series; No. 16).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1999

A cut-free gentzen formulation of the modal logic S5

Braüner, T., 1999, Proceedings of 6th Workshop on Logic, Language, Information and Computation. Queiroz, R. D. & Carnielli, W. (eds.). p. 79-88

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch