David Makinson

Publication Activity (10 Years)

Years Active: 1966-2022
Publications (10 Years): 3

Top Topics

Knowledge Representation

Uml Activity Diagrams

Hypothetical Reasoning

Classical Logic

Top Venues

Logica Universalis

Publications

David Makinson
Frege's Ontological Diagram Completed. Logica Universalis 16 (3) (2022)
David Makinson
Göodel's Master Argument: What is it, and what can it do? FLAP 2 (2) (2015)
David Makinson
Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth. Stud Logica 103 (1) (2015)
David Makinson
On an inferential semantics for classical logic. Log. J. IGPL 22 (1) (2014)
David Makinson
Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Synth. 186 (2) (2012)
David Makinson
Conditional Probability in the Light of Qualitative Belief Change. J. Philos. Log. 40 (2) (2011)
David Makinson
Propositional relevance through letter-sharing. J. Appl. Log. 7 (4) (2009)
David Makinson, Leendert W. N. van der Torre
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. Normative Multi-agent Systems (2007)
George Kourousias, David Makinson
Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. 72 (3) (2007)
David Makinson
Propositional Relevance through Letter-Sharing: Review and Contribution. Formal Models of Belief Change in Rational Agents (2007)
James Hawthorne, David Makinson
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. Stud Logica 86 (2) (2007)
David Makinson
Friendliness for Logicians. We Will Show Them! (2) (2005)
David Makinson
Bridges between Classical and Nonmonotonic Logic. Log. J. IGPL 11 (1) (2003)
David Makinson, Leendert W. N. van der Torre
Permission from an Input/Output Perspective. J. Philos. Log. 32 (4) (2003)
David Makinson, Leendert W. N. van der Torre
Constraints for Input/Output Logics. J. Philos. Log. 30 (2) (2001)
David Makinson, Leendert W. N. van der Torre
Input/Output Logics. J. Philos. Log. 29 (4) (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) (1997)
Karl Schlechta, David Makinson
Local and Global Metrics for the Semantics of Counterfactual Conditionals. J. Appl. Non Class. Logics 4 (2) (1994)
Peter Gärdenfors, David Makinson
Nonmonotonic Inference Based on Expectations. Artif. Intell. 65 (2) (1994)
David Makinson
Five faces of minimality. Stud Logica 52 (3) (1993)
Jürgen Dix, David Makinson
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. J. Log. Lang. Inf. 1 (2) (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) (1991)
Gerhard Brewka, David Makinson, Karl Schlechta
JTMS and Logic Programming. LPNMR (1991)
Gerhard Brewka, David Makinson, Karl Schlechta
Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic (1990)
David Makinson
The Gärdenfors impossibility theorem in non-monotonic contexts. Stud Logica 49 (1) (1990)
David Makinson, Peter Gärdenfors
Relations between the logic of theory change and nonmonotonic logic. The Logic of Theory Change (1989)
Peter Gärdenfors, David Makinson
Revisions of Knowledge Systems Using Epistemic Entrenchment. TARK (1988)
David Makinson
General Theory of Cumulative Inference. NMR (1988)
David Makinson
On the status of the postulate of recovery in the logic of theory change. J. Philos. Log. 16 (4) (1987)
David Makinson
On the formal representation of rights relations. J. Philos. Log. 15 (4) (1986)
Carlos E. Alchourrón, David Makinson
Maps between some different kinds of contraction function: The finite case. Stud Logica 45 (2) (1986)
Carlos E. Alchourrón, David Makinson
On the logic of theory change: Safe contraction. Stud Logica 44 (4) (1985)
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) (1985)
David Makinson
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic. Math. Log. Q. 27 (7) (1981)
David Makinson
A warning about the choice of primitive operators in modal logic. J. Philos. Log. 2 (2) (1973)
David Makinson
Some embedding theorems for modal logic. Notre Dame J. Formal Log. 12 (2) (1971)
David Makinson
A Normal Modal Calculus Between T and S4 Without the Finite Model Property. J. Symb. Log. 34 (1) (1969)
David Makinson
There are Infinitely many Diodorean Modal Functions. J. Symb. Log. 31 (3) (1966)