There are Infinitely many Diodorean Modal Functions. - David Makinson (J. Symb. Log., 1966)

A Normal Modal Calculus Between T and S4 Without the Finite Model Property. - David Makinson (J. Symb. Log., 1969)

Some embedding theorems for modal logic. - David Makinson (Notre Dame J. Formal Log., 1971)

A warning about the choice of primitive operators in modal logic. - David Makinson (J. Philos. Log., 1973)

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic. - David Makinson (Math. Log. Q., 1981)

On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. - Carlos E. Alchourrón; Peter Gärdenfors; David Makinson (J. Symb. Log., 1985)

On the logic of theory change: Safe contraction. - Carlos E. Alchourrón; David Makinson (Stud Logica, 1985)

On the formal representation of rights relations. - David Makinson (J. Philos. Log., 1986)

Maps between some different kinds of contraction function: The finite case. - Carlos E. Alchourrón; David Makinson (Stud Logica, 1986)

On the status of the postulate of recovery in the logic of theory change. - David Makinson (J. Philos. Log., 1987)

General Theory of Cumulative Inference. - David Makinson (NMR, 1988)

Revisions of Knowledge Systems Using Epistemic Entrenchment. - Peter Gärdenfors; David Makinson (TARK, 1988)

Relations between the logic of theory change and nonmonotonic logic. - David Makinson; Peter Gärdenfors (The Logic of Theory Change, 1989)

Cumulative Inference Relations for JTMS and Logic Programming. - Gerhard Brewka; David Makinson; Karl Schlechta (Nonmonotonic and Inductive Logic, 1990)

The Gärdenfors impossibility theorem in non-monotonic contexts. - David Makinson (Stud Logica, 1990)

JTMS and Logic Programming. - Gerhard Brewka; David Makinson; Karl Schlechta (LPNMR, 1991)

Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets. - David Makinson; Karl Schlechta (Artif. Intell., 1991)

The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. - Jürgen Dix; David Makinson (J. Log. Lang. Inf., 1992)

Five faces of minimality. - David Makinson (Stud Logica, 1993)

Nonmonotonic Inference Based on Expectations. - Peter Gärdenfors; David Makinson (Artif. Intell., 1994)

Local and Global Metrics for the Semantics of Counterfactual Conditionals. - Karl Schlechta; David Makinson (J. Appl. Non Class. Logics, 1994)

Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations. - Hassan Bezzazi; David Makinson; Ramón Pino Pérez (J. Log. Comput., 1997)

Input/Output Logics. - David Makinson; Leendert W. N. van der Torre (J. Philos. Log., 2000)

Constraints for Input/Output Logics. - David Makinson; Leendert W. N. van der Torre (J. Philos. Log., 2001)

Bridges between Classical and Nonmonotonic Logic. - David Makinson (Log. J. IGPL, 2003)

Permission from an Input/Output Perspective. - David Makinson; Leendert W. N. van der Torre (J. Philos. Log., 2003)

Bridges from classical to nonmonotonic logic. - David Makinson (College Publications, 2005)

Friendliness for Logicians. - David Makinson (We Will Show Them! (2), 2005)

Propositional Relevance through Letter-Sharing: Review and Contribution. - David Makinson (Formal Models of Belief Change in Rational Agents, 2007)

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. - David Makinson; Leendert W. N. van der Torre (Normative Multi-agent Systems, 2007)

Parallel interpolation, splitting, and relevance in belief change. - George Kourousias; David Makinson (J. Symb. Log., 2007)

The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. - James Hawthorne; David Makinson (Stud Logica, 2007)

Sets, Logic and Maths for Computing. - David Makinson (Springer, 2008)

From Logic to Mathematical Philosophy. - David Makinson; Jacek Malinowski; Heinrich Wansing (Towards Mathematical Philosophy, 2009)

Propositional relevance through letter-sharing. - David Makinson (J. Appl. Log., 2009)

Conditional Probability in the Light of Qualitative Belief Change. - David Makinson (J. Philos. Log., 2011)

Sets, Logic and Maths for Computing, Second Edition. - David Makinson (Springer, 2012)

Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. - David Makinson (Synth., 2012)

On an inferential semantics for classical logic. - David Makinson (Log. J. IGPL, 2014)

Göodel's Master Argument: What is it, and what can it do? - David Makinson (FLAP, 2015)

Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth. - David Makinson (Stud Logica, 2015)

Sets, Logic and Maths for Computing, Third Edition - David Makinson (Springer, 2020)

Frege's Ontological Diagram Completed. - David Makinson (Logica Universalis, 2022)

First-order Friendliness. - Guillermo Badia; David Makinson (Rev. Symb. Log., 2024)

Display Conventions for Octagons of Opposition. - David Makinson (Axioms, 2024)