# David Makinson

According to our database

Collaborative distances:

^{1}, David Makinson authored at least 41 papers between 1966 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

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?

FLAP, 2015

2014

On an inferential semantics for classical logic.

Logic Journal of the IGPL, 2014

2012

Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference.

Synthese, 2012

Sets, Logic and Maths for Computing, Second Edition.

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-2499-3, 2012

2011

Conditional Probability in the Light of Qualitative Belief Change.

J. Philosophical Logic, 2011

2009

Propositional relevance through letter-sharing.

J. Applied Logic, 2009

From Logic to Mathematical Philosophy.

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Sets, Logic and Maths for Computing.

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-845-6, 2008

2007

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

2005

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

2003

Permission from an Input/Output Perspective.

J. Philosophical Logic, 2003

Bridges between Classical and Nonmonotonic Logic.

Logic Journal of the IGPL, 2003

2001

Constraints for Input/Output Logics.

J. Philosophical Logic, 2001

2000

Input/Output Logics.

J. Philosophical Logic, 2000

1997

Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.

J. Log. Comput., 1997

1994

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

1993

Five faces of minimality.

Studia Logica, 1993

1992

The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.

Journal of Logic, Language and Information, 1992

1991

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

1990

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

1989

Relations between the logic of theory change and nonmonotonic logic.

Proceedings of the Logic of Theory Change, 1989

1988

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

1987

On the status of the postulate of recovery in the logic of theory change.

J. Philosophical Logic, 1987

1986

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

1985

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

1981

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.

Math. Log. Q., 1981

1973

A warning about the choice of primitive operators in modal logic.

J. Philosophical Logic, 1973

1971

Some embedding theorems for modal logic.

Notre Dame Journal of Formal Logic, 1971

1969

A Normal Modal Calculus Between T and S4 Without the Finite Model Property.

J. Symb. Log., 1969

1966

There are Infinitely many Diodorean Modal Functions.

J. Symb. Log., 1966