The Philosopher
David Makinson
The face
The background
- Nationality:
- Australian
- Branchs:
- Modal logic, Deontic logic, Belief revision, Uncertain reasoning, Relevance-sensitive logic, History of logic
- Period:
- 20th and 21st century
The synopsis
The works
Preface paradox
First simple and natural propositional logic lacking the finite model property
AGM account of belief change
Input/output logic
Adaptation of truth-trees method to relevance-sensitive logic