Skip to search formSkip to main contentSkip to account menu

David Makinson

Known as: Makinson 
David Clement Makinson, D.Phil, (born 27 August 1941), is an Australian mathematical logician living in London, England.
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Belief revisionKripke semanticsModal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Reasoning About Permission and Obligation
How is deontic logic possible on a positivistic philosophy of norms? D. Makinson (1999) considered this question the ‘fundamental… 
2013
2013
AGM-consistency and perfect Bayesian equilibrium. Part I: definition and properties
We provide a general notion of perfect Bayesian equilibrium which can be applied to arbitrary extensive-form games and is… 
2009
2009
The location of the grounding zone of Evans Ice Stream, Antarctica, investigated using SAR interferometry and modelling
Abstract Evans Ice Stream, West Antarctica, has five tributaries and a complex grounding zone. The grounding zone of Evans Ice… 
2002
2002
On the Logic of Iterated Non-prioritised Revision
We look at iterated non-prioritised belief revision, using as a starting point a model of non-prioritised revision, similar to… 
1997
1997
Qualitative Relevance and Independence: A Roadmap
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal… 
Review
1996
Review
1996
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
44 played a dominant role in Przymusinski's versions of WFS and ST N. The results of Section 4 underline the very strong… 
Highly Cited
1995
Highly Cited
1995
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties
Our aim in this article is to present a method for classifying and characterizing the various different semantics of logic… 
Review
1994
Review
1994
A survey of belief revision and updating rules in various uncertainty models
The paper proposes a parallel survey of revision and updating operations available in the probability theory and in the… 
Highly Cited
1993
Highly Cited
1993
A Representationalist Theory of Intention
ions are relations between propositions, in which one is more abstract or general than another, let a be making a spaghetti… 
Highly Cited
1991
Highly Cited
1991
Belief contraction without recovery
The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)