Braüner, Torben
Overview
Works:  26 works in 67 publications in 4 languages and 523 library holdings 

Genres:  Handbooks and manuals 
Roles:  Author, Editor 
Publication Timeline
.
Most widely held works by
Torben Braüner
Hybrid logic and its prooftheory by
Torben Braüner(
Book
)
22 editions published between 2010 and 2011 in English and Italian and held by 66 WorldCat member libraries worldwide
Hybrid Logic and its ProofTheory demonstrates that hybridlogical prooftheory remedies the lack of uniformity in ordinary modallogical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
22 editions published between 2010 and 2011 in English and Italian and held by 66 WorldCat member libraries worldwide
Hybrid Logic and its ProofTheory demonstrates that hybridlogical prooftheory remedies the lack of uniformity in ordinary modallogical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
Hybrid logic and its prooftheory by
Torben Braüner(
Book
)
5 editions published between 2007 and 2010 in English and Danish and held by 9 WorldCat member libraries worldwide
This is the first booklength treatment of hybrid logic and its prooftheory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about prooftheory for ordinary modal logic. Many modallogical proof systems lack important properties and the relatio
5 editions published between 2007 and 2010 in English and Danish and held by 9 WorldCat member libraries worldwide
This is the first booklength treatment of hybrid logic and its prooftheory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about prooftheory for ordinary modal logic. Many modallogical proof systems lack important properties and the relatio
Cutelimination for full intuitionistic linear logic by
Torben Braüner(
Book
)
4 editions published in 1996 in English and held by 9 WorldCat member libraries worldwide
Abstract: "We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponentialfree) Linear Logic introduced by Hyland and de Paiva. Hyland and de Paiva's work used a term assignment system to describe FILL and barely sketched the proof of cut elimination. In this paper, as well as correcting a small mistake in their paper and extending the system to deal with exponentials, we introduce a different formal system describing the intuitionistic character of FILL and we provide a full proof of the cut elimination theorem. The formal system is based on a notion of dependency between formulae within a given proof and seems of independent interest. The procedure for cut elimination applies to (classical) multiplicative Linear Logic, and we can (with care) restrict our attention to the subsystem FILL. The proof, as usual with cut elimination proofs, is a little involved and we have not seen it published anywhere."
4 editions published in 1996 in English and held by 9 WorldCat member libraries worldwide
Abstract: "We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponentialfree) Linear Logic introduced by Hyland and de Paiva. Hyland and de Paiva's work used a term assignment system to describe FILL and barely sketched the proof of cut elimination. In this paper, as well as correcting a small mistake in their paper and extending the system to deal with exponentials, we introduce a different formal system describing the intuitionistic character of FILL and we provide a full proof of the cut elimination theorem. The formal system is based on a notion of dependency between formulae within a given proof and seems of independent interest. The procedure for cut elimination applies to (classical) multiplicative Linear Logic, and we can (with care) restrict our attention to the subsystem FILL. The proof, as usual with cut elimination proofs, is a little involved and we have not seen it published anywhere."
The logic of time and modality by
Conference on the Logic of Time and Modality(
Book
)
5 editions published in 2006 in English and held by 8 WorldCat member libraries worldwide
5 editions published in 2006 in English and held by 8 WorldCat member libraries worldwide
Handbook of philosophical logic by
Dov M Gabbay(
Book
)
1 edition published in 2014 in English and held by 4 WorldCat member libraries worldwide
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas becameestablished and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times
1 edition published in 2014 in English and held by 4 WorldCat member libraries worldwide
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas becameestablished and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times
Towards constructive hybrid logic by
Torben Braüner(
Book
)
3 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide
3 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide
Papers on time and tense by
A. N Prior(
Book
)
2 editions published between 2002 and 2003 in English and held by 3 WorldCat member libraries worldwide
2 editions published between 2002 and 2003 in English and held by 3 WorldCat member libraries worldwide
A Model of Intuitionistic Affine Logic from Stable Domain Theory by
Torben Braüner(
Book
)
3 editions published in 1993 in English and held by 2 WorldCat member libraries worldwide
3 editions published in 1993 in English and held by 2 WorldCat member libraries worldwide
Preliminary proceedings of the 6th Workshop on methods for modalities (M4M6)(
Book
)
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
An axiomatic approach to adequacy by
Torben Braüner(
Book
)
2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
6th workshop on Methods for Modalities (M4M6)(
Book
)
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
Introduction to linear logic by
Torben Braüner(
Book
)
1 edition published in 1996 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1996 in English and held by 2 WorldCat member libraries worldwide
BRICS report series. Cutelimination for full intuitionistic linear logic(
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
Hybrid logic : dedicated to the memory of Volker Weber(
Book
)
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
A General Adequacy Result for a Linear Functional Language(
Book
)
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
Datalogiske skrifter. Towards constructive hybrid logic(
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
DAIMI IR. a model of intuitionistic affine logic from stable domain theory(
Book
)
1 edition published in 1993 in Multiple languages and held by 1 WorldCat member library worldwide
1 edition published in 1993 in Multiple languages and held by 1 WorldCat member library worldwide
BRICS dissertation series. an axiomatic approach to adequacy(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
The Girard Translation Extended with Recursion by
Torben Braüner(
Book
)
2 editions published in 1995 in English and held by 1 WorldCat member library worldwide
2 editions published in 1995 in English and held by 1 WorldCat member library worldwide
BRICS report series. a general adequacy result for a linear functional language(
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 De Paiva, Valeria
 Bolander, Thomas Editor
 Hasle, Per Editor
 De Paiva, Valeria
 Gabbay, Dov M. 1945 Editor
 Gabbay, Murdoch J.
 Guenthner, Franz Editor
 Roskilde Universitetscenter Institut for Geografi, Samfundsanalyse og Datalogi Datalogisk Afdeling
 Øhrstrøm, Peter Editor
 Prior, Arthur N. 19141969 Author
Alternative Names
Braüner, T.
Braüner, T. (Torben)
Languages
Covers