Toronto, Ontario, Canada
Areas of Specialization
1 more
| Modal Logic |
| Quantified Modal Logic |
| Semantics for Modal Logic |
| Intuitionistic Logic |
| Relevance Logic |
| Liar Paradox |