Patrick Blackburn

Tools for Teaching Logic

2011

Modal logic

2001

Representation and inference for natural language

2005

Modeling and Using Context

2013

Prolog, tout de suite! (Cahiers)

2007

Logic, Rationality, and Interaction

2019

Logic, Language and Computation

2000

Linguistics, logic and finite trees

1993

Learn prolog now!

2006

Cupid Missed

2012