Handbook Of Logic And Language
Handbook of Logic and Language »

The Logic of Time - Second Revised Edition
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse »

A Manual Of Intensional Logic
 »

Exploring Logical Dynamics
 »

Logica voor informatica
In de eerste helft van Logica voor informatica staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt z... »

Language in Action
Categories, Lambdas and Dynamic Logic »

Modal Logic For Open Minds
Modal Logic for Open Minds »