David Makinson

According to our database1, David Makinson authored at least 39 papers between 1966 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

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

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


  Loading...