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 …

Relational Reasoning about Functions and Nondeterminism Page 1 B R IC S D S -98-2 S .B .
L assen : R elation a l R eason in g ab ou t F u n ction s an d N o n d eterm in ism BRICS Basic …

The major contributions of this thesis are in the areas of Geometry of Interaction (GoI) and
full completeness for models of linear logic. Geometry of interaction was introduced by …

The syntactic nature of operational reasoning requires techniques to deal with term contexts,
especially for reasoning about recursion. In this paper we study applicative bisimulation and …

A simple domain theory for concurrency is presented. Based on a categorical model of linear
logic and associated comonads, it highlights the role of linearity in concurrent computation …

A calculus for a fragment of category theory is presented. The types in the language denote
categories and the expressions functors. The judgements of the calculus systematise …

The main concern of this report is to give an introduction to Linear Logic. For pedagogical
purposes we shall also have a look at Classical Logic as well as Intuitionistic Logic. Linear …

A metalanguage for concurrent process languages is introduced. Within it a range of
process languages can be defined, including higher-order process languages where …

The copying of processes is limited in the context of distributed computation, either as a fact
of life, often because remote networks are simply too complicated to have control over, or …

In this paper two different natural deduction systems forhybrid logic are compared and
contrasted. One of the systems was originally given by the author of the presentpaper …