David Makinson

David Makinson: Sets, Logic and Maths for Computing, Second Edition. Undergraduate topics in computer science, Springer 2012, isbn 978-1-4471-2499-3, pp. I-XXI, 1-283

David Makinson: Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Synthese 186(2): 511-529 (2012)

David Makinson: Conditional Probability in the Light of Qualitative Belief Change. J. Philosophical Logic 40(2): 121-153 (2011)

David Makinson: Propositional relevance through letter-sharing. J. Applied Logic 7(4): 377-387 (2009)

George Kourousias, David Makinson: Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. 72(3): 994-1002 (2007)

James Hawthorne, David Makinson: The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. Studia Logica 86(2): 247-297 (2007)

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

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

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

David Makinson: Bridges between Classical and Nonmonotonic Logic. Logic Journal of the IGPL 11(1): 69-96 (2003)

David Makinson, Leendert van der Torre: Permission from an Input/Output Perspective. J. Philosophical Logic 32(4): 391-416 (2003)

David Makinson, Leendert van der Torre: Constraints for Input/Output Logics. J. Philosophical Logic 30(2): 155-185 (2001)

David Makinson, Leendert van der Torre: Input/Output Logics. J. Philosophical Logic 29(4): 383-408 (2000)

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

Peter Gärdenfors, David Makinson: Nonmonotonic Inference Based on Expectations. Artif. Intell. 65(2): 197-245 (1994)

Karl Schlechta, David Makinson: Local and Global Metrics for the Semantics of Counterfactual Conditionals. Journal of Applied Non-Classical Logics 4(2): 129-140 (1994)

David Makinson: Five faces of minimality. Studia Logica 52(3): 339-380 (1993)

Jürgen Dix, David Makinson: The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. Journal of Logic, Language and Information 1(2): 131-140 (1992)

David Makinson, Karl Schlechta: Floating Conclusions and Zombie Paths: Two Deep Difficulties in the ``Directly Skeptical'' Approach to Defeasible Inheritance Nets. Artif. Intell. 48(2): 199-209 (1991)

Gerhard Brewka, David Makinson, Karl Schlechta: JTMS and Logic Programming. LPNMR 1991: 199-210

Gerhard Brewka, David Makinson, Karl Schlechta: Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic 1990: 1-12

David Makinson, Peter Gärdenfors: Relations between the logic of theory change and nonmonotonic logic. The Logic of Theory Change 1989: 185-205

David Makinson: General Theory of Cumulative Inference. NMR 1988: 1-18

Peter Gärdenfors, David Makinson: Revisions of Knowledge Systems Using Epistemic Entrenchment. TARK 1988: 83-95

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

David Makinson: A Normal Modal Calculus Between T and S4 Without the Finite Model Property. J. Symb. Log. 34(1): 35-38 (1969)

David Makinson: There are Infinitely many Diodorean Modal Functions. J. Symb. Log. 31(3): 406-408 (1966)