WorldCat Identities

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 proof-theory 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 Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
Hybrid logic and its proof-theory 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 book-length treatment of hybrid logic and its proof-theory. 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 proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relatio
Cut-elimination 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 exponential-free) 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

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
Towards constructive hybrid logic by Torben Braüner( Book )

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

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

Preliminary proceedings of the 6th Workshop on methods for modalities (M4M-6)( Book )

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

6th workshop on Methods for Modalities (M4M-6)( Book )

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

BRICS report series. Cut-elimination for full intuitionistic linear logic( )

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

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

Datalogiske skrifter. Towards constructive hybrid logic( )

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

BRICS dissertation series. an axiomatic approach to adequacy( Book )

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

BRICS report series. a general adequacy result for a linear functional language( )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.49 for Handbook o ... to 0.97 for Preliminar ...)

Hybrid logic and its proof-theoryHybrid logic and its proof-theory
Alternative Names
Braüner, T.

Braüner, T. (Torben)

Languages
Covers
Hybrid logic and its proof-theoryPapers on time and tense