Outstanding Contributions to Logic

Thomas Muller and Others
Series • 20 Books • Philosophy
Krister Segerberg on Logic of Actions Krister Segerberg on Logic of Actions
Robert Trypuz
Nuel Belnap on Indeterminism and Free Action Nuel Belnap on Indeterminism and Free Action
Thomas Müller
David Makinson on Classical Methods for Non-Classical Problems David Makinson on Classical Methods for Non-Classical Problems
Sven Ove Hansson
Leo Esakia on Duality in Modal and Intuitionistic Logics Leo Esakia on Duality in Modal and Intuitionistic Logics
Guram Bezhanishvili
Johan van Benthem on Logic and Information Dynamics Johan van Benthem on Logic and Information Dynamics
Alexandru Baltag & Sonja Smets
Petr Hájek on Mathematical Fuzzy Logic Petr Hájek on Mathematical Fuzzy Logic
Franco Montagna
Dag Prawitz on Proofs and Meaning Dag Prawitz on Proofs and Meaning
Heinrich Wansing
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
Katalin Bimbó
Hilary Putnam on Logic and Mathematics Hilary Putnam on Logic and Mathematics
Geoffrey Hellman & Roy T. Cook
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo & Alberto Policriti