According to our database1, David Makinson authored at least 41 papers between 1966 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth.
Studia Logica, 2015
Göodel's Master Argument: What is it, and what can it do?
On an inferential semantics for classical logic.
Logic Journal of the IGPL, 2014
Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference.
Sets, Logic and Maths for Computing, Second Edition.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-2499-3, 2012
Conditional Probability in the Light of Qualitative Belief Change.
J. Philosophical Logic, 2011
Propositional relevance through letter-sharing.
J. Applied Logic, 2009
From Logic to Mathematical Philosophy.
Proceedings of the Towards Mathematical Philosophy, 2009
Sets, Logic and Maths for Computing.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-845-6, 2008
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.
Studia Logica, 2007
Parallel interpolation, splitting, and relevance in belief change.
J. Symb. Log., 2007
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007
Propositional Relevance through Letter-Sharing: Review and Contribution.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007
Friendliness for Logicians.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005
Bridges from classical to nonmonotonic logic.
Texts in computing 5, College Publications, ISBN: 978-1-904987-00-0, 2005
Permission from an Input/Output Perspective.
J. Philosophical Logic, 2003
Bridges between Classical and Nonmonotonic Logic.
Logic Journal of the IGPL, 2003
Constraints for Input/Output Logics.
J. Philosophical Logic, 2001
J. Philosophical Logic, 2000
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.
J. Log. Comput., 1997
Local and Global Metrics for the Semantics of Counterfactual Conditionals.
Journal of Applied Non-Classical Logics, 1994
Nonmonotonic Inference Based on Expectations.
Artif. Intell., 1994
Five faces of minimality.
Studia Logica, 1993
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.
Journal of Logic, Language and Information, 1992
Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets.
Artif. Intell., 1991
JTMS and Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991
The Gärdenfors impossibility theorem in non-monotonic contexts.
Studia Logica, 1990
Cumulative Inference Relations for JTMS and Logic Programming.
Proceedings of the Nonmonotonic and Inductive Logic, 1990
Relations between the logic of theory change and nonmonotonic logic.
Proceedings of the Logic of Theory Change, 1989
Revisions of Knowledge Systems Using Epistemic Entrenchment.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988
General Theory of Cumulative Inference.
Proceedings of the Non-Monotonic Reasoning, 1988
On the status of the postulate of recovery in the logic of theory change.
J. Philosophical Logic, 1987
Maps between some different kinds of contraction function: The finite case.
Studia Logica, 1986
On the formal representation of rights relations.
J. Philosophical Logic, 1986
On the logic of theory change: Safe contraction.
Studia Logica, 1985
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.
J. Symb. Log., 1985
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.
Math. Log. Q., 1981
A warning about the choice of primitive operators in modal logic.
J. Philosophical Logic, 1973
Some embedding theorems for modal logic.
Notre Dame Journal of Formal Logic, 1971
A Normal Modal Calculus Between T and S4 Without the Finite Model Property.
J. Symb. Log., 1969
There are Infinitely many Diodorean Modal Functions.
J. Symb. Log., 1966