Greg Restall

Greg Restall is the managing editor of the journal. Greg is an associate professor in the Philosophy Department at the University of Melbourne. Greg’s research interests are in formal and philosophical logic. His recent work has included a monograph on substructural logics, and a forthcoming book on pluralism about logical consequence.

Greg is a collecting editor managing submissions in logic and philosophy.

Martin Bunder

Martin Bunder is Professor of Mathematics at the University of Wollongong. He was a student of Haskell Curry at the University of Amsterdam, and has research interests in combinatory logic and the lambda calculus.

Martin is a collecting editor managing submissions in logic and mathematics.

Hans van Ditmarsch

Hans van Ditmarsch is a lecturer in Computer Science at the University of Otago. He completed a Master Degree in Mathematics with Dirk van Dalen and a Master Degree in Philosophy with Jan Bergstra, at the University of Utrecht, the Netherlands, in 1986, with a combined Master Thesis on various uses of abstraction in expert systems and argumentation. In 2000, he completed a Ph.D. under the supervision of Johan van Benthem (Universities of Amsterdam and Stanford) and Gerard Renardel. In his PhD Thesis, that is published in the ILLC dissertation series of the University of Amsterdam, he presents a language for dynamic epistemic logic and applications of that language for modelling games. His current research focusses on concurrency features in the dynamics of knowledge, knowledge-based security protocols, dynamic doxastic logics as a vehicle for computational belief revision, proof tools for reasoning with common knowledge, combinatorics, and computer and information science education.

Errol Martin

Errol is a collecting editor managing submissions in logic and computer science.

Susan Rogerson

Su is the editorial assistant who manages the submissions database and the preparation of documents for publication.

Copyright © 2003, Philosophy Department, University of Melbourne.
Individual papers are copyright their authors.