×

Makinson, David Clement

Author ID: makinson.david Recent zbMATH articles by "Makinson, David Clement"
Published as: Makinson, David; Makinson, D.; Makinson, D. C.
Homepage: https://sites.google.com/site/davidcmakinson/
External Links: MGP · Wikidata · ResearchGate · GND · IdRef
Documents Indexed: 75 Publications since 1966, including 5 Books and 1 Additional arXiv Preprint
2 Contributions as Editor
Reviewing Activity: 305 Reviews
Biographic References: 1 Publication
Co-Authors: 18 Co-Authors with 28 Joint Publications
374 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 1,574 times in 1,000 Documents Cited by Year
On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011
Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David
621
1985
Revisions of knowledge systems using epistemic entrenchment. Zbl 0711.03009
Gärdenfors, Peter; Makinson, David
88
1988
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
64
1994
General theory of cumulative inference. Zbl 0675.03007
Makinson, David
64
1989
On the logic of theory change: safe contraction. Zbl 0605.03002
Alchourrón, Carlos E.; Makinson, David
54
1985
Bridges from classical to nonmonotonic logic. Zbl 1084.03001
Makinson, David
53
2005
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
52
1987
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001
Alchourron, Carlos E.; Makinson, David
49
1982
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
49
2000
Relations between the logic of theory change and nonmonotonic logic. Zbl 0925.03130
Makinson, David; Gärdenfors, Peter
48
1991
Five faces of minimality. Zbl 0790.03026
Makinson, David
29
1993
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
28
2001
On some completeness theorems in modal logic. Zbl 0295.02014
Makinson, D.
26
1966
The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022
Hawthorne, James; Makinson, David
26
2007
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
25
2003
Some embedding theorems for modal logic. Zbl 0193.29301
Makinson, D.
24
1971
Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Zbl 1117.68493
Makinson, David; Schlechta, Karl
22
1991
Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036
Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón
18
1997
Parallel interpolation, splitting, and relevance in belief change. Zbl 1124.03004
Kourousias, George; Makinson, David
17
2007
What is input/output-logic? Zbl 1040.03023
Makinson, David; van der Torre, Leendert
17
2003
On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl. Zbl 0605.03003
Makinson, David
15
1986
On a fundamental problem of deontic logic. Zbl 0943.03005
Makinson, David
13
1999
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008
Alchourron, Carlos E.; Makinson, David
12
1982
Bridges between classical and nonmonotonic logic. Zbl 1016.03024
Makinson, David
12
2003
A normal modal calculus between T and S4 without the finite model property. Zbl 0184.00806
Makinson, David
12
1969
Propositional relevance through letter-sharing. Zbl 1203.03024
Makinson, David
12
2009
Ways of doing logic: What was different about AGM 1985? Zbl 1043.03008
Makinson, David
10
2003
A warning about the choice of primitive operators in modal logic. Zbl 0266.02016
Makinson, David
10
1973
The Gärdenfors impossibility theorem in non-monotonic contexts. Zbl 0705.03011
Makinson, David
10
1990
Conditional probability in the light of qualitative belief change. Zbl 1266.03012
Makinson, David
9
2011
On the number of ultrafilters of infinite Boolean algebra. Zbl 0176.27502
Makinson, D. C.
8
1969
Logical friendliness and sympathy. Zbl 1089.03009
Makinson, David
6
2005
A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063
Makinson, David
6
1976
Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Zbl 1275.03038
Makinson, David
6
2012
There are infinitely many Diodorean modal functions. Zbl 0147.24903
Makinson, D. C.
5
1966
Maps between some different kinds of contraction function: the finite case. Zbl 0619.03028
Alchourrón, Carlos E.; Makinson, David
5
1986
The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033
Dix, Jürgen; Makinson, David
5
1992
A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019
Makinson, David
4
1971
Friendliness and sympathy in logic. 2nd revised ed. Zbl 1143.03324
Makinson, David
3
2007
Stenius’ approach to disjunctive permission. Zbl 0578.03008
Makinson, David
3
1984
Cumulative inference relations for JTMS and logic programming. Zbl 0792.68170
Brewka, Gerhard; Makinson, David; Schlechta, Karl
3
1991
Applying normative rules with restraint. Zbl 0957.03007
Hansson, Sven Ove; Makinson, David
3
1997
Post completeness and ultrafilters. Zbl 0298.02014
Makinson, David; Segerberg, Krister
3
1974
On an inferential semantics for classical logic. Zbl 1343.03009
Makinson, David
3
2014
Relevance via decomposition: a project, some results, an open question. Zbl 1422.03039
Makinson, David
2
2017
Conditional probability in the light of qualitative belief change. Zbl 1211.03043
Makinson, David
2
2010
Aspects of modal logic. (Aspectos de la logica modal.). Zbl 0226.02013
Makinson, David
2
1971
Lossy inference rules and their bounds: a brief review. Zbl 1376.03022
Makinson, David; Hawthorne, James
2
2015
In memoriam Carlos Eduardo Alchourrón. Zbl 0882.01010
Makinson, David
2
1996
Sets, logic and maths for computing. 2nd revised ed. Zbl 1239.00011
Makinson, David
2
2012
Levels of belief in nonmonotonic reasoning. Zbl 1173.03029
Makinson, David
2
2009
Sets, logic and maths for computing. 3rd revised edition. Zbl 1444.68004
Makinson, David
2
2020
Relevance logic as a conservative extension of classical logic. Zbl 1311.03045
Makinson, David
1
2014
Book review of: N. J. J. Smith, Logic. The laws of truth. Zbl 1321.00046
Makinson, David
1
2015
Combinatorial versus decision-theoretic components of impossibility theorems. Zbl 0849.90011
Makinson, David
1
1996
Local and global metrics for the semantics of counterfactual conditionals. Zbl 0810.03016
Schlechta, Karl; Makinson, David
1
1994
Friendliness for logicians. Zbl 1272.03068
Makinson, David
1
2005
Sets, logic and maths for computing. Zbl 1177.00014
Makinson, David
1
2008
Sets, logic and maths for computing. 3rd revised edition. Zbl 1444.68004
Makinson, David
2
2020
Relevance via decomposition: a project, some results, an open question. Zbl 1422.03039
Makinson, David
2
2017
Lossy inference rules and their bounds: a brief review. Zbl 1376.03022
Makinson, David; Hawthorne, James
2
2015
Book review of: N. J. J. Smith, Logic. The laws of truth. Zbl 1321.00046
Makinson, David
1
2015
On an inferential semantics for classical logic. Zbl 1343.03009
Makinson, David
3
2014
Relevance logic as a conservative extension of classical logic. Zbl 1311.03045
Makinson, David
1
2014
Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Zbl 1275.03038
Makinson, David
6
2012
Sets, logic and maths for computing. 2nd revised ed. Zbl 1239.00011
Makinson, David
2
2012
Conditional probability in the light of qualitative belief change. Zbl 1266.03012
Makinson, David
9
2011
Conditional probability in the light of qualitative belief change. Zbl 1211.03043
Makinson, David
2
2010
Propositional relevance through letter-sharing. Zbl 1203.03024
Makinson, David
12
2009
Levels of belief in nonmonotonic reasoning. Zbl 1173.03029
Makinson, David
2
2009
Sets, logic and maths for computing. Zbl 1177.00014
Makinson, David
1
2008
The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022
Hawthorne, James; Makinson, David
26
2007
Parallel interpolation, splitting, and relevance in belief change. Zbl 1124.03004
Kourousias, George; Makinson, David
17
2007
Friendliness and sympathy in logic. 2nd revised ed. Zbl 1143.03324
Makinson, David
3
2007
Bridges from classical to nonmonotonic logic. Zbl 1084.03001
Makinson, David
53
2005
Logical friendliness and sympathy. Zbl 1089.03009
Makinson, David
6
2005
Friendliness for logicians. Zbl 1272.03068
Makinson, David
1
2005
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
25
2003
What is input/output-logic? Zbl 1040.03023
Makinson, David; van der Torre, Leendert
17
2003
Bridges between classical and nonmonotonic logic. Zbl 1016.03024
Makinson, David
12
2003
Ways of doing logic: What was different about AGM 1985? Zbl 1043.03008
Makinson, David
10
2003
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
28
2001
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
49
2000
On a fundamental problem of deontic logic. Zbl 0943.03005
Makinson, David
13
1999
Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036
Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón
18
1997
Applying normative rules with restraint. Zbl 0957.03007
Hansson, Sven Ove; Makinson, David
3
1997
In memoriam Carlos Eduardo Alchourrón. Zbl 0882.01010
Makinson, David
2
1996
Combinatorial versus decision-theoretic components of impossibility theorems. Zbl 0849.90011
Makinson, David
1
1996
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
64
1994
Local and global metrics for the semantics of counterfactual conditionals. Zbl 0810.03016
Schlechta, Karl; Makinson, David
1
1994
Five faces of minimality. Zbl 0790.03026
Makinson, David
29
1993
The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033
Dix, Jürgen; Makinson, David
5
1992
Relations between the logic of theory change and nonmonotonic logic. Zbl 0925.03130
Makinson, David; Gärdenfors, Peter
48
1991
Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Zbl 1117.68493
Makinson, David; Schlechta, Karl
22
1991
Cumulative inference relations for JTMS and logic programming. Zbl 0792.68170
Brewka, Gerhard; Makinson, David; Schlechta, Karl
3
1991
The Gärdenfors impossibility theorem in non-monotonic contexts. Zbl 0705.03011
Makinson, David
10
1990
General theory of cumulative inference. Zbl 0675.03007
Makinson, David
64
1989
Revisions of knowledge systems using epistemic entrenchment. Zbl 0711.03009
Gärdenfors, Peter; Makinson, David
88
1988
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
52
1987
On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl. Zbl 0605.03003
Makinson, David
15
1986
Maps between some different kinds of contraction function: the finite case. Zbl 0619.03028
Alchourrón, Carlos E.; Makinson, David
5
1986
On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011
Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David
621
1985
On the logic of theory change: safe contraction. Zbl 0605.03002
Alchourrón, Carlos E.; Makinson, David
54
1985
Stenius’ approach to disjunctive permission. Zbl 0578.03008
Makinson, David
3
1984
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001
Alchourron, Carlos E.; Makinson, David
49
1982
On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008
Alchourron, Carlos E.; Makinson, David
12
1982
A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063
Makinson, David
6
1976
Post completeness and ultrafilters. Zbl 0298.02014
Makinson, David; Segerberg, Krister
3
1974
A warning about the choice of primitive operators in modal logic. Zbl 0266.02016
Makinson, David
10
1973
Some embedding theorems for modal logic. Zbl 0193.29301
Makinson, D.
24
1971
A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019
Makinson, David
4
1971
Aspects of modal logic. (Aspectos de la logica modal.). Zbl 0226.02013
Makinson, David
2
1971
A normal modal calculus between T and S4 without the finite model property. Zbl 0184.00806
Makinson, David
12
1969
On the number of ultrafilters of infinite Boolean algebra. Zbl 0176.27502
Makinson, D. C.
8
1969
On some completeness theorems in modal logic. Zbl 0295.02014
Makinson, D.
26
1966
There are infinitely many Diodorean modal functions. Zbl 0147.24903
Makinson, D. C.
5
1966
all top 5

Cited by 931 Authors

43 Hansson, Sven Ove
23 Kern-Isberner, Gabriele
19 Gabbay, Dov M.
19 Makinson, David Clement
16 Fermé, Eduardo Leopoldo
16 Rott, Hans
15 Smets, Sonja J. L.
14 Beierle, Christoph
14 Li, Wei
14 Pino Pérez, Ramón
14 van der Torre, Leendert W. N.
13 Baltag, Alexandru
13 Booth, Richard F.
13 Konieczny, Sébastien
13 Peppas, Pavlos
12 Bonanno, Giacomo
12 Falappa, Marcelo Alejandro
12 Lorini, Emiliano
12 Reis, Maurício D. L.
11 Benferhat, Salem
11 Delgrande, James P.
11 Meyer, Thomas Andreas
10 Simari, Guillermo Ricardo
10 van Ditmarsch, Hans Pieter
9 Aravanis, Theofanis I.
9 Cantwell, John C.
9 Halpern, Joseph Yehuda
9 Liberatore, Paolo
9 Schlechta, Karl
8 Garapa, Marco
8 Gärdenfors, Peter
8 Herzig, Andreas
8 Prade, Henri M.
8 Schurz, Gerhard
8 Segerberg, Krister
8 Strasser, Christian
8 Zhu, Zhaohui
7 Arieli, Ofer
7 Boutilier, Craig
7 García, Alejandro Javier
7 Hunter, Anthony
7 Marquis, Pierre
7 Papini, Odile
7 Parikh, Rohit
7 Thimm, Matthias
7 Williams, Mary-Anne
6 Bloch, Isabelle
6 Chopra, Samir
6 Dubois, Didier
6 Giordano, Laura
6 Goldblatt, Robert Ian
6 Governatori, Guido
6 Humberstone, Lloyd
6 Lang, Jérôme
6 Leite, João
6 Pacuit, Eric
6 Pagnucco, Maurice
6 Parent, Xavier
6 Wassermann, Renata
6 Woltran, Stefan
5 Antoniou, Grigoris
5 Aucher, Guillaume
5 Besnard, Philippe
5 Eiter, Thomas
5 Freund, Michael
5 Fuhrmann, Andre T.
5 Georgatos, Konstantinos
5 Giacomin, Massimiliano
5 Gierasimczuk, Nina
5 Lehmann, Daniel J.
5 Nayak, Abhaya C.
5 Perrussel, Laurent
5 Roy, Olivier
5 Slota, Martin
5 Tennant, Neil W.
5 Varzinczak, Ivan Jóse
5 Velázquez-Quesada, Fernando Raymundo
5 Zhang, Dongmo
4 Alchourrón, Carlos E.
4 Baroni, Pietro
4 Beirlaen, Mathieu
4 Bochman, Alexander
4 Bouraoui, Zied
4 Broersen, Jan M.
4 Chandler, Jake
4 Chen, Shifu
4 Dastani, Mehdi M.
4 De Saint-Cyr, Florence Dupin
4 Dietrich, Franz K.
4 Ghose, Aditya K.
4 Grossi, Davide
4 Hawthorne, James
4 Hill, Brian
4 Hosni, Hykel
4 Huber, Franz
4 Hunter, Aaron
4 Kooi, Barteld Pieter
4 Kuipers, Theo A. F.
4 Leitgeb, Hannes
4 Levesque, Hector J.
...and 831 more Authors
all top 5

Cited in 77 Serials

142 Artificial Intelligence
93 Journal of Philosophical Logic
79 Studia Logica
65 Synthese
45 Journal of Applied Non-Classical Logics
39 Annals of Mathematics and Artificial Intelligence
33 International Journal of Approximate Reasoning
31 Journal of Applied Logic
30 Journal of Logic, Language and Information
30 The Review of Symbolic Logic
19 The Journal of Symbolic Logic
19 Notre Dame Journal of Formal Logic
19 Erkenntnis
14 Theoretical Computer Science
11 International Journal of Intelligent Systems
11 Logica Universalis
8 ACM Transactions on Computational Logic
7 Journal of Computer Science and Technology
7 The Bulletin of Symbolic Logic
7 Theory and Practice of Logic Programming
6 Theory and Decision
6 Science China. Information Sciences
5 Bulletin of the Section of Logic
5 Annals of Pure and Applied Logic
4 Journal of Economic Theory
4 Mathematical Social Sciences
4 The Journal of Artificial Intelligence Research (JAIR)
4 Frontiers of Computer Science
3 Algebra Universalis
3 Information Sciences
3 International Journal of Game Theory
3 Journal of Computer and System Sciences
3 Journal of Mathematical Economics
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 Games and Economic Behavior
3 Logic and Logical Philosophy
2 Computers & Mathematics with Applications
2 Israel Journal of Mathematics
2 Mathematical Notes
2 Journal of Mathematical Psychology
2 History and Philosophy of Logic
2 Social Choice and Welfare
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
2 European Journal of Operational Research
2 Science in China. Series E
2 Topoi
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Games
2 Nôus
2 Bulletin of the Hellenic Mathematical Society
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Discrete Applied Mathematics
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Algebra and Logic
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Transactions of the American Mathematical Society
1 OR Spektrum
1 Cybernetics and Systems
1 Information and Computation
1 Annals of Operations Research
1 Machine Learning
1 Artificial Intelligence Review
1 Archive for Mathematical Logic
1 Computational Complexity
1 Mathematical Logic Quarterly (MLQ)
1 Soft Computing
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Science in China. Series F
1 New Mathematics and Natural Computation
1 Logical Methods in Computer Science
1 International Journal of Semantic Computing
1 Journal of Physical Mathematics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.