David Makinson

发表

Sets, Logic and Maths for Computing

David Makinson, D. Makinson, 2020, Undergraduate Topics in Computer Science.

On the formal representation of rights relations

David Makinson, 1986, J. Philos. Log..

Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth

David Makinson, 2015, Stud Logica.

Sets, Logic and Maths for Computing

David Makinson, D. Makinson, 2008, Undergraduate Topics in Computer Science.

A generalisation of the concept of a relational model for modal logic1

David Makinson, D. Makinson, 2008 .

Recycling Outputs as Inputs: Induction and Recursion

David Makinson, 2012 .

Review: Brian F. Chellas, Modal Logic. An Introduction

David Makinson, 1981 .

The Phenomenology of Second-Level Inference: Perfumes in the Deductive Garden

David Makinson, 2020 .

Constraints for Input/Output Logics

Leon van der Torre, David Makinson, Leendert van der Torre, 2001, J. Philos. Log..

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

David Makinson, D. Makinson, 1981, Math. Log. Q..

Friendliness for Logicians

David Makinson, 2005, We Will Show Them!.

The Quantitative/Qualitative Watershed for Rules of Uncertain Inference

James Hawthorne, David Makinson, D. Makinson, 2007, Stud Logica.

Maps between some different kinds of contraction function: The finite case

David Makinson, Carlos E. Alchourrón, 1986, Stud Logica.

Propositional Relevance through Letter-Sharing: Review and Contribution

David Makinson, 2007, Formal Models of Belief Change in Rational Agents.

Propositional relevance through letter-sharing

David Makinson, 2009, J. Appl. Log..

Cumulative Inference Relations for JTMS and Logic Programming

Karl Schlechta, David Makinson, Gerhard Brewka, 1990, Nonmonotonic and Inductive Logic.

How to give it up: A survey of some formal aspects of the logic of theory change

David Makinson, 2004, Synthese.

Sets, Logic and Maths for Computing

David Makinson, 2020, Undergraduate Topics in Computer Science.

Sticking to the Point: Relevance in Logic

David Makinson, 2020 .

Supraclassical Inference without Probability

David Makinson, D. Makinson, 2004 .

New studies in deontic logic

David Makinson, C. E. Alchourrón, 1981 .

Review: Lennart Aqvist, Deontic Logic

David Makinson, 1989 .

Local and Global Metrics for the Semantics of Counterfactual Conditionals

Karl Schlechta, David Makinson, D. Makinson, 1994, J. Appl. Non Class. Logics.

Massey Gerald J.. Four simple systems of modal propositional logic. Philosophy of science , vol. 32 (1965), pp. 342–355.

David Makinson, 1972 .

Five faces of minimality

David Makinson, D. Makinson, 1993, Stud Logica.

NIDDITCH'S DEFINITION OF VERIFIABILITY

David Makinson, 1965 .

Bridges from classical to nonmonotonic logic

David Makinson, D. Makinson, 2005, Texts in computing.

Collecting Things Together: Sets

David Makinson, 2012 .

General Theory of Cumulative Inference

David Makinson, D. Makinson, 1988, NMR.

The relationship between KLM and MAK models for nonmonotonic inference operations

Jürgen Dix, David Makinson, 1992, J. Log. Lang. Inf..

Conditional Probability in the Light of Qualitative Belief Change

David Makinson, D. Makinson, 2011, J. Philos. Log..

Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets

Karl Schlechta, David Makinson, D. Makinson, 1991, Artif. Intell..

Consistency constraints for input/output logic: a comparative review.

David Makinson, L. van der Torre, 2000 .

Associating One Item with Another: Functions

David Makinson, 2012 .

The Gärdenfors impossibility theorem in non-monotonic contexts

David Makinson, 1990, Stud Logica.

JTMS and Logic Programming

Karl Schlechta, David Makinson, Gerhard Brewka, 1991, LPNMR.

On the logic of theory change: Partial meet contraction and revision functions

Peter Gärdenfors, David Makinson, Carlos E. Alchourrón, 1985, Journal of Symbolic Logic.

Parallel interpolation, splitting, and relevance in belief change

David Makinson, George Kourousias, D. Makinson, 2007, Journal of Symbolic Logic.

Something About Everything: Quantificational Logic

David Makinson, 2012 .

Towards Mathematical Philosophy

Jacek Malinowski, Heinrich Wansing, David Makinson, 2009, Trends in logic.

Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic

David Makinson, 1971 .

On the logic of theory change: Safe contraction

David Makinson, Carlos E. Alchourrón, 1985, Stud Logica.

A warning about the choice of primitive operators in modal logic

David Makinson, 1973, J. Philos. Log..

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

Ramón Pino Pérez, David Makinson, Hassan Bezzazi, 1997, J. Log. Comput..

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

David Makinson, D. Makinson, 1987, J. Philos. Log..

How to Go Nonmonotonic

David Makinson, D. Makinson, 2005 .

Arthur Pap. Logic and the concept of entailment. The journal of philosophy , vol. 47 (1950), pp. 378–387.

David Makinson, 1975 .

Nonmonotonic Inference Based on Expectations

Peter Gärdenfors, David Makinson, P. Gärdenfors, 1994, Artif. Intell..

Input/Output Logics

Leon van der Torre, David Makinson, Leendert van der Torre, 2000, J. Philos. Log..

Relations between the logic of theory change and nonmonotonic logic

Peter Gärdenfors, David Makinson, P. Gärdenfors, 1989, The Logic of Theory Change.

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

David Makinson, D. Makinson, 2012, Synthese.

There are infinitely many Diodorean modal functions

David Makinson, David Makinson, 1966, Journal of Symbolic Logic.

General patterns in nonmonotonic reasoning

David Makinson, D. Makinson, 1994 .

Bridges between Classical and Nonmonotonic Logic

David Makinson, D. Makinson, 2003, Log. J. IGPL.

How meaningful are modal operators

David Makinson, 1966 .

Revisions of Knowledge Systems Using Epistemic Entrenchment

Peter Gärdenfors, David Makinson, P. Gärdenfors, 1988, TARK.

A normal modal calculus between T and S4 without the finite model property

David Makinson, D. Makinson, 1969, Journal of Symbolic Logic.

Review: Arthur Pap, Logic and the Concept of Entailment

David Makinson, 1975 .

On principles and problems of defeasible inheritance

Karl Schlechta, David Makinson, 1992 .

Some embedding theorems for modal logic

David Makinson, D. Makinson, 1971, Notre Dame J. Formal Log..

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

Leon van der Torre, David Makinson, Leendert van der Torre, 2007, Normative Multi-agent Systems.

Aspectos de la logica modal

David Makinson, 1971 .

Permission from an Input/Output Perspective

Leon van der Torre, David Makinson, Leendert van der Torre, 2003, J. Philos. Log..

From Logic to Mathematical Philosophy

Jacek Malinowski, Heinrich Wansing, David Makinson, 2009, Towards Mathematical Philosophy.

Relevance-Sensitive Truth-Trees

David Makinson, 2021, Outstanding Contributions to Logic.

Completeness Theorems, Representation Theorems: What's the Difference?

David Makinson, D. Makinson, 2007 .

Respecting relevance in belief change

David Makinson, George Kourousias, D. Makinson, 2006 .

Stenius' approach to disjunctive permission

David Makinson, 2008 .

Combinatorial versus decision-theoretic components of impossibility theorems

David Makinson, D. Makinson, 1996 .

Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV

Jacek Malinowski, Heinrich Wansing, David Makinson, 2008 .

World social science report

David Makinson, D. Makinson, A. Kazancigil, 1999 .

Applying Normative Rules with Restraint

Sven Ove Hansson, David Makinson, 1997 .

Friendliness and Sympathy in Logic

David Makinson, D. Makinson, 2007 .

Quantificational Reefs in Deontic Waters

David Makinson, 1981 .

On the logic of theory change: Contraction functions and their associated revision functions

David Makinson, Carlos E. Alchourrón, C. E. Alchourrón, 2008 .