×

zbMATH — the first resource for mathematics

Makinson, David Clement

Compute Distance To:
Author ID: makinson.david Recent zbMATH articles by "Makinson, David Clement"
Published as: Makinson, D.; Makinson, D. C.; Makinson, David
Homepage: https://sites.google.com/site/davidcmakinson/
External Links: MGP · Wikidata · ResearchGate · GND
Documents Indexed: 71 Publications since 1966, including 7 Books
Reviewing Activity: 291 Reviews
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

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

Cited by 791 Authors

36 Hansson, Sven Ove
16 Gabbay, Dov M.
15 Makinson, David Clement
13 Rott, Hans
13 van der Torre, Leendert W. N.
12 Booth, Richard F.
12 Fermé, Eduardo Leopoldo
12 Konieczny, Sébastien
12 Li, Wei
11 Delgrande, James P.
11 Kern-Isberner, Gabriele
11 Smets, Sonja J. L.
10 Baltag, Alexandru
10 Benferhat, Salem
10 Falappa, Marcelo Alejandro
10 Meyer, Thomas Andreas
10 Reis, Mauricio D. L.
9 Peppas, Pavlos
9 Pino Pérez, Ramón
9 van Ditmarsch, Hans Pieter
8 Bonanno, Giacomo
8 Cantwell, John C.
8 Liberatore, Paolo
8 Lorini, Emiliano
8 Schlechta, Karl
8 Segerberg, Krister
8 Zhu, Zhaohui
7 Halpern, Joseph Yehuda
7 Herzig, Andreas
7 Hunter, Anthony
7 Marquis, Pierre
7 Schurz, Gerhard
7 Simari, Guillermo Ricardo
7 Strasser, Christian
6 Arieli, Ofer
6 Boutilier, Craig
6 Chopra, Samir
6 Dubois, Didier
6 Gärdenfors, Peter
6 Leite, João
6 Pagnucco, Maurice
6 Papini, Odile
6 Parikh, Rohit
6 Prade, Henri M.
5 Besnard, Philippe
5 Eiter, Thomas
5 Freund, Michael
5 Fuhrmann, Andre T.
5 Goldblatt, Robert Ian
5 Humberstone, Lloyd
5 Lang, Jérôme
5 Nayak, Abhaya C.
5 Pacuit, Eric
5 Perrussel, Laurent
5 Roy, Olivier
5 Slota, Martin
5 Tennant, Neil W.
5 Thimm, Matthias
5 Wassermann, Renata
5 Williams, Mary-Anne
5 Woltran, Stefan
5 Zhang, Dongmo
4 Antoniou, Grigoris
4 Beierle, Christoph
4 Beirlaen, Mathieu
4 Bochman, Alexander
4 Chen, Shifu
4 Costa, Horacio Arló
4 Dietrich, Franz K.
4 Garapa, Marco
4 García, Alejandro Javier
4 Georgatos, Konstantinos
4 Ghose, Aditya K.
4 Giacomin, Massimiliano
4 Huber, Franz
4 Kuipers, Theo A. F.
4 Leitgeb, Hannes
4 Levesque, Hector J.
4 Luo, Jie
4 Meyer, John-Jules Charles
4 Parent, Xavier
4 Prakken, Henry
4 Schaub, Torsten H.
4 Sun, Xin
4 Varzinczak, Ivan Jóse
4 Velázquez-Quesada, Fernando Raymundo
4 Zhu, Wujia
3 Alchourrón, Carlos E.
3 Åqvist, Lennart
3 Aucher, Guillaume
3 Baroni, Pietro
3 Bloch, Isabelle
3 Boella, Guido
3 Bouraoui, Zied
3 Brewka, Gerhard
3 Britz, Katarina
3 Broersen, Jan M.
3 Caridroit, Thomas
3 Cevolani, Gustavo
3 Chandler, Jake
...and 691 more Authors
all top 5

Cited in 75 Serials

122 Artificial Intelligence
83 Journal of Philosophical Logic
74 Studia Logica
58 Synthese
42 Journal of Applied Non-Classical Logics
31 Journal of Applied Logic
29 Annals of Mathematics and Artificial Intelligence
26 International Journal of Approximate Reasoning
22 Journal of Logic, Language and Information
19 The Review of Symbolic Logic
18 The Journal of Symbolic Logic
16 Notre Dame Journal of Formal Logic
15 Erkenntnis
12 Theoretical Computer Science
11 International Journal of Intelligent Systems
7 Journal of Computer Science and Technology
7 The Bulletin of Symbolic Logic
7 Logica Universalis
6 Theory and Decision
6 Annals of Pure and Applied Logic
6 Theory and Practice of Logic Programming
6 ACM Transactions on Computational Logic
4 Mathematical Social Sciences
4 Science China. Information Sciences
4 Frontiers of Computer Science
3 Algebra Universalis
3 International Journal of Game Theory
3 Journal of Computer and System Sciences
3 Journal of Economic Theory
3 Journal of Mathematical Economics
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 Games and Economic Behavior
2 Computers & Mathematics with Applications
2 Israel Journal of Mathematics
2 Mathematical Notes
2 Information Sciences
2 Bulletin of the Section of Logic
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 The Journal of Artificial Intelligence Research (JAIR)
2 Science in China. Series E
2 Topoi
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Games
2 Nôus
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 Journal of Mathematical Psychology
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Transactions of the American Mathematical Society
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 Logic and Logical Philosophy
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 Bulletin of the Hellenic Mathematical Society

Citations by Year

Wikidata Timeline

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