The following pages link to David Makinson (Q185572):
Displaying 50 items.
- The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas (Q2912138) (← links)
- Functional vs. Relational Approaches to Belief Revision (Q2912139) (← links)
- Reasoning About Belief Revision (Q2912142) (← links)
- On the Logic of Theory Change: Partial Meet Contraction and Revision Functions (Q2971678) (← links)
- (Q3012531) (← links)
- (Q3039305) (← links)
- (Q3495345) (← links)
- (Q3520846) (← links)
- (Q3584005) (← links)
- From Logic to Mathematical Philosophy (Q3600560) (← links)
- Stenius' approach to disjunctive permission (Q3699667) (← links)
- On the logic of theory change: Partial meet contraction and revision functions (Q3699670) (← links)
- (Q3829532) (← links)
- Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic (Q3919671) (← links)
- (Q3929716) (← links)
- (Q3968905) (← links)
- On Some Completeness Theorems in Modal Logic (Q4047530) (← links)
- Post Completeness and Ultrafilters (Q4052078) (← links)
- (Q4133631) (← links)
- (Q4260400) (← links)
- (Q4282550) (← links)
- Local and global metrics for the semantics of counterfactual conditionals (Q4317727) (← links)
- (Q4360855) (← links)
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations (Q4365321) (← links)
- (Q4395623) (← links)
- Controlled Revision - An algorithmic approach for belief revision (Q4405675) (← links)
- (Q4440545) (← links)
- (Q4639916) (← links)
- Bridges between Classical and Nonmonotonic Logic (Q4795876) (← links)
- (Q4938866) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Boole's indefinite symbols re-examined (Q5059646) (← links)
- On an inferential semantics for classical logic (Q5172129) (← links)
- (Q5184888) (← links)
- Levels of Belief in Nonmonotonic Reasoning (Q5192432) (← links)
- A Tale of Five Cities (Q5250304) (← links)
- Intelim Rules for Classical Connectives (Q5250317) (← links)
- Relevance Logic as a Conservative Extension of Classical Logic (Q5250318) (← links)
- Reflections on the Contributions (Q5250319) (← links)
- Lossy Inference Rules and Their Bounds: A Brief Review (Q5258979) (← links)
- (Q5311063) (← links)
- Parallel interpolation, splitting, and relevance in belief change (Q5422313) (← links)
- There are infinitely many Diodorean modal functions (Q5525334) (← links)
- (Q5552150) (← links)
- On the number of ultrafilters of an infinite boolean algebra (Q5566508) (← links)
- A normal modal calculus between T and S4 without the finite model property (Q5575528) (← links)
- (Q5611793) (← links)
- A generalisation of the concept of a relational model for modal logic<sup>1</sup> (Q5626607) (← links)
- (Q5632540) (← links)
