Patrick Blackburn

• Learn prolog now!
• Modal Logic
• Logic, Rationality, and Interaction
• Modal logic
• Representation and inference for natural language
• Representation and Inference for Natural Language
• Tools for Teaching Logic
• Cupid Missed
• Logic, Language and Computation
• Modeling and Using Context
• Nominal tense logic
• Nominal tense logic and other sorted intensional frameworks