Filter
Søkt på: Bøker av Torben Braüner
Filter
totalt 4 treff
Hybrid Logic and its Proof-Theory
heftet,
2013,
Engelsk,
ISBN 9789400734357
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 …
Fra
1197,-
Hybrid Logic and its Proof-Theory
e-bok,
2010,
Engelsk,
ISBN 9789400700024
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 …
Advances in Modal Logic Volume 9
pocket,
2012,
Engelsk,
ISBN 9781848900684
Papers on Time and Tense
heftet,
2003,
Engelsk,
ISBN 9780199256075
This is a new edition, revised and expanded, of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding …