P
Patrick Blackburn
10 works on record
Works
Tools for Teaching Logic
Learn prolog now!
Representation and inference for natural language
Logic, Rationality, and Interaction
Modal Logic
Modeling and Using Context
Modeling and Using Context
Logic, Language and Computation
Logic, Language and Computation
Cupid Missed
Cupid Missed
Nominal tense logic and other sorted intensional frameworks
Nominal tense logic and other sorted intensional frameworks
Nominal tense logic
Nominal tense logic