University of Melbourne
From Logic Wiki
- Greg Restall // website, PhilPapers
- Specialties: Proof theory, non-classical logic, inferentialism, logical pluralism (via website)
Affiliate logic faculty
- Jen Davoren // website
- Specialties: computer science logics, particularly modal, temporal, and intuitionistic logics: relational, algebraic, topological, and categorical semantics; axiomatic, tableau, and Gentzen (sequent) proof systems; applications to the formal design and analysis of complex systems. Particular interest in modal logic representations of dynamic and topological structure, of uncertainty and robustness, and of the knowledge of, and communication between, agents in distributed systems. (via website)
Additionally, the University hosts regular meetings of the Melbourne Logic Seminar, which features presentations by logicians from other universities in Melbourne and Australia.