Your search for Outstanding Contributions to Logic

Walter Carnielli on Reasoning, Paraconsistency, and Probability

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Hiroakira Ono on Substructural Logics

Ewa Orlowska on Relational Methods in Logic and Computer Science

Hajnal Andréka and István Németi on Unity of Science

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Janusz Czelakowski on Logical Consequence

Rohit Parikh on Logic, Language and Society

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Raymond Smullyan on Self Reference

Larisa Maksimova on Implication, Interpolation, and Definability

Graham Priest on Dialetheism and Paraconsistency

Johan van Benthem on Logic and Information Dynamics

J. Michael Dunn on Information Based Logics

Hajnal Andréka and István Németi on Unity of Science

Krister Segerberg on Logic of Actions

Leo Esakia on Duality in Modal and Intuitionistic Logics