search for books and compare prices
Torben Brauner has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9789400700017 Cover for 9780199256068 Cover for 9780199256075
Hybrid Logic and Its Proof-theory
cover image for 9789400700017
Product Description: 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)...read more
By Torben Brauner
See complete details on each edition (1 edition listed)

Hardcover:

9789400700017 | Springer Verlag, November 29, 2010, cover price $209.00 | About this edition: This is the first book-length treatment of hybrid logic and its proof-theory.

Papers on Time and Tense
cover image for 9780199256075
(view table of contents)
By Torben Brauner (editor), Jack Copeland (editor), Per Hasle (editor), Peter Ohrstrom (editor) and Arthur N. Prior
See complete details on each edition (2 editions listed)

Hardcover:

9780199256068 | New edition (Oxford Univ Pr, April 1, 2003), cover price $110.00

Paperback:

9780199256075 | 2 edition (Oxford Univ Pr on Demand, April 17, 2003), cover price $55.00

displaying 1 to 2 | at end