Edit Profile (opens in new tab) Makinson, David Clement Compute Distance To: Compute Author ID: makinson.david Published as: Makinson, David; Makinson, D.; Makinson, D. C. more...less Homepage: https://sites.google.com/site/davidcmakinson/ External Links: MGP · Wikidata · ResearchGate · GND · IdRef Documents Indexed: 73 Publications since 1966, including 5 Books 2 Contributions as Editor Reviewing Activity: 300 Reviews Biographic References: 1 Publication Co-Authors: 17 Co-Authors with 27 Joint Publications 342 Co-Co-Authors all top 5 Co-Authors 48 single-authored 6 Alchourrón, Carlos E. 5 Gärdenfors, Peter 4 van der Torre, Leendert W. N. 3 Schlechta, Karl 2 Hawthorne, James 2 Malinowski, Jacek 2 Wansing, Heinrich Theodor 1 Bezzazi, Hassan 1 Brewka, Gerhard 1 Dix, Jurgen 1 Hansson, Sven Ove 1 Iturrioz, Luisa 1 Jones, Andrew J. I. 1 Kourousias, George 1 Pino Pérez, Ramón 1 Segerberg, Krister 1 Sergot, Marek J. all top 5 Serials 7 Journal of Philosophical Logic 7 Studia Logica 4 The Journal of Symbolic Logic 4 Theoria 4 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Undergraduate Topics in Computer Science 2 Artificial Intelligence 2 Journal of Logic and Computation 2 Logic Journal of the IGPL 2 The Australasian Journal of Logic 1 Logique et Analyse. Nouvelle Série 1 Notre Dame Journal of Formal Logic 1 Reports on Mathematical Logic 1 Synthese 1 Theory and Decision 1 Bulletin of the Section of Logic 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Nordic Journal of Philosophical Logic 1 Journal of Applied Logic 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Publications du Département de Mathématiques 1 Trends in Logic – Studia Logica Library 1 Texts in Computing 1 Logica Universalis all top 5 Fields 68 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 1,351 times in 874 Documents Cited by ▼ Year ▼ On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David 546 1985 Nonmonotonic inference based on expectations. Zbl 0803.68125Gärdenfors, Peter; Makinson, David 62 1994 Revisions of knowledge systems using epistemic entrenchment. Zbl 0711.03009Gärdenfors, Peter; Makinson, David 59 1988 On the logic of theory change: safe contraction. Zbl 0605.03002Alchourrón, Carlos E.; Makinson, David 49 1985 On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008Makinson, David 47 1987 Input/output logics. Zbl 0964.03002Makinson, David; van der Torre, Leendert 45 2000 Relations between the logic of theory change and nonmonotonic logic. Zbl 0925.03130Makinson, David; Gärdenfors, Peter 44 1991 On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001Alchourron, Carlos E.; Makinson, David 43 1982 Bridges from classical to nonmonotonic logic. Zbl 1084.03001Makinson, David 38 2005 Five faces of minimality. Zbl 0790.03026Makinson, David 29 1993 General theory of cumulative inference. Zbl 0675.03007Makinson, David 28 1989 On some completeness theorems in modal logic. Zbl 0295.02014Makinson, D. 25 1966 Constraints for input/output logics. Zbl 0993.03039Makinson, David; van der Torre, Leendert 25 2001 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022Hawthorne, James; Makinson, David 23 2007 Permission from an input/output perspective. Zbl 1028.03017Makinson, David; van der Torre, Leendert 22 2003 Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Zbl 1117.68493Makinson, David; Schlechta, Karl 20 1991 Some embedding theorems for modal logic. Zbl 0193.29301Makinson, D. 19 1971 Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón 17 1997 What is input/output-logic? Zbl 1040.03023Makinson, David; van der Torre, Leendert 15 2003 On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl. Zbl 0605.03003Makinson, David 14 1986 On a fundamental problem of deontic logic. Zbl 0943.03005Makinson, David 13 1999 Parallel interpolation, splitting, and relevance in belief change. Zbl 1124.03004Kourousias, George; Makinson, David 13 2007 On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008Alchourron, Carlos E.; Makinson, David 12 1982 A normal modal calculus between T and S4 without the finite model property. Zbl 0184.00806Makinson, David 12 1969 Bridges between classical and nonmonotonic logic. Zbl 1016.03024Makinson, David 11 2003 Ways of doing logic: What was different about AGM 1985? Zbl 1043.03008Makinson, David 11 2003 The Gärdenfors impossibility theorem in non-monotonic contexts. Zbl 0705.03011Makinson, David 10 1990 Propositional relevance through letter-sharing. Zbl 1203.03024Makinson, David 10 2009 A warning about the choice of primitive operators in modal logic. Zbl 0266.02016Makinson, David 9 1973 On the number of ultrafilters of infinite Boolean algebra. Zbl 0176.27502Makinson, D. C. 8 1969 Logical friendliness and sympathy. Zbl 1089.03009Makinson, David 6 2005 A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063Makinson, David 6 1976 Conditional probability in the light of qualitative belief change. Zbl 1266.03012Makinson, David 5 2011 The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033Dix, Jürgen; Makinson, David 5 1992 Maps between some different kinds of contraction function: the finite case. Zbl 0619.03028Alchourrón, Carlos E.; Makinson, David 4 1986 There are infinitely many Diodorean modal functions. Zbl 0147.24903Makinson, D. C. 4 1966 A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019Makinson, David 4 1971 Post completeness and ultrafilters. Zbl 0298.02014Makinson, David; Segerberg, Krister 3 1974 Stenius’ approach to disjunctive permission. Zbl 0578.03008Makinson, David 3 1984 Cumulative inference relations for JTMS and logic programming. Zbl 0792.68170Brewka, Gerhard; Makinson, David; Schlechta, Karl 3 1991 Applying normative rules with restraint. Zbl 0957.03007Hansson, Sven Ove; Makinson, David 3 1997 Friendliness and sympathy in logic. 2nd revised ed. Zbl 1143.03324Makinson, David 3 2007 Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Zbl 1275.03038Makinson, David 3 2012 Relevance via decomposition: a project, some results, an open question. Zbl 1422.03039Makinson, David 2 2017 Conditional probability in the light of qualitative belief change. Zbl 1211.03043Makinson, David 2 2010 Levels of belief in nonmonotonic reasoning. Zbl 1173.03029Makinson, David 2 2009 Aspects of modal logic. (Aspectos de la logica modal.). Zbl 0226.02013Makinson, David 2 1971 Lossy inference rules and their bounds: a brief review. Zbl 1376.03022Makinson, David; Hawthorne, James 2 2015 On an inferential semantics for classical logic. Zbl 1343.03009Makinson, David 2 2014 Friendliness for logicians. Zbl 1272.03068Makinson, David 1 2005 Combinatorial versus decision-theoretic components of impossibility theorems. Zbl 0849.90011Makinson, David 1 1996 Sets, logic and maths for computing. 2nd revised ed. Zbl 1239.00011Makinson, David 1 2012 In memoriam Carlos Eduardo Alchourrón. Zbl 0882.01010Makinson, David 1 1996 Sets, logic and maths for computing. Zbl 1177.00014Makinson, David 1 2008 Relevance logic as a conservative extension of classical logic. Zbl 1311.03045Makinson, David 1 2014 Book review of: N. J. J. Smith, Logic. The laws of truth. Zbl 1321.00046Makinson, David 1 2015 Local and global metrics for the semantics of counterfactual conditionals. Zbl 0810.03016Schlechta, Karl; Makinson, David 1 1994 Relevance via decomposition: a project, some results, an open question. Zbl 1422.03039Makinson, David 2 2017 Lossy inference rules and their bounds: a brief review. Zbl 1376.03022Makinson, David; Hawthorne, James 2 2015 Book review of: N. J. J. Smith, Logic. The laws of truth. Zbl 1321.00046Makinson, David 1 2015 On an inferential semantics for classical logic. Zbl 1343.03009Makinson, David 2 2014 Relevance logic as a conservative extension of classical logic. Zbl 1311.03045Makinson, David 1 2014 Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Zbl 1275.03038Makinson, David 3 2012 Sets, logic and maths for computing. 2nd revised ed. Zbl 1239.00011Makinson, David 1 2012 Conditional probability in the light of qualitative belief change. Zbl 1266.03012Makinson, David 5 2011 Conditional probability in the light of qualitative belief change. Zbl 1211.03043Makinson, David 2 2010 Propositional relevance through letter-sharing. Zbl 1203.03024Makinson, David 10 2009 Levels of belief in nonmonotonic reasoning. Zbl 1173.03029Makinson, David 2 2009 Sets, logic and maths for computing. Zbl 1177.00014Makinson, David 1 2008 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022Hawthorne, James; Makinson, David 23 2007 Parallel interpolation, splitting, and relevance in belief change. Zbl 1124.03004Kourousias, George; Makinson, David 13 2007 Friendliness and sympathy in logic. 2nd revised ed. Zbl 1143.03324Makinson, David 3 2007 Bridges from classical to nonmonotonic logic. Zbl 1084.03001Makinson, David 38 2005 Logical friendliness and sympathy. Zbl 1089.03009Makinson, David 6 2005 Friendliness for logicians. Zbl 1272.03068Makinson, David 1 2005 Permission from an input/output perspective. Zbl 1028.03017Makinson, David; van der Torre, Leendert 22 2003 What is input/output-logic? Zbl 1040.03023Makinson, David; van der Torre, Leendert 15 2003 Bridges between classical and nonmonotonic logic. Zbl 1016.03024Makinson, David 11 2003 Ways of doing logic: What was different about AGM 1985? Zbl 1043.03008Makinson, David 11 2003 Constraints for input/output logics. Zbl 0993.03039Makinson, David; van der Torre, Leendert 25 2001 Input/output logics. Zbl 0964.03002Makinson, David; van der Torre, Leendert 45 2000 On a fundamental problem of deontic logic. Zbl 0943.03005Makinson, David 13 1999 Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón 17 1997 Applying normative rules with restraint. Zbl 0957.03007Hansson, Sven Ove; Makinson, David 3 1997 Combinatorial versus decision-theoretic components of impossibility theorems. Zbl 0849.90011Makinson, David 1 1996 In memoriam Carlos Eduardo Alchourrón. Zbl 0882.01010Makinson, David 1 1996 Nonmonotonic inference based on expectations. Zbl 0803.68125Gärdenfors, Peter; Makinson, David 62 1994 Local and global metrics for the semantics of counterfactual conditionals. Zbl 0810.03016Schlechta, Karl; Makinson, David 1 1994 Five faces of minimality. Zbl 0790.03026Makinson, David 29 1993 The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033Dix, Jürgen; Makinson, David 5 1992 Relations between the logic of theory change and nonmonotonic logic. Zbl 0925.03130Makinson, David; Gärdenfors, Peter 44 1991 Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Zbl 1117.68493Makinson, David; Schlechta, Karl 20 1991 Cumulative inference relations for JTMS and logic programming. Zbl 0792.68170Brewka, Gerhard; Makinson, David; Schlechta, Karl 3 1991 The Gärdenfors impossibility theorem in non-monotonic contexts. Zbl 0705.03011Makinson, David 10 1990 General theory of cumulative inference. Zbl 0675.03007Makinson, David 28 1989 Revisions of knowledge systems using epistemic entrenchment. Zbl 0711.03009Gärdenfors, Peter; Makinson, David 59 1988 On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008Makinson, David 47 1987 On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl. Zbl 0605.03003Makinson, David 14 1986 Maps between some different kinds of contraction function: the finite case. Zbl 0619.03028Alchourrón, Carlos E.; Makinson, David 4 1986 On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David 546 1985 On the logic of theory change: safe contraction. Zbl 0605.03002Alchourrón, Carlos E.; Makinson, David 49 1985 Stenius’ approach to disjunctive permission. Zbl 0578.03008Makinson, David 3 1984 On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0525.03001Alchourron, Carlos E.; Makinson, David 43 1982 On the logic of theory change: Contraction functions and their associated revision functions. Zbl 0503.03008Alchourron, Carlos E.; Makinson, David 12 1982 A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063Makinson, David 6 1976 Post completeness and ultrafilters. Zbl 0298.02014Makinson, David; Segerberg, Krister 3 1974 A warning about the choice of primitive operators in modal logic. Zbl 0266.02016Makinson, David 9 1973 Some embedding theorems for modal logic. Zbl 0193.29301Makinson, D. 19 1971 A generalisation of the concept of a relational model for modal logic. Zbl 0222.02019Makinson, David 4 1971 Aspects of modal logic. (Aspectos de la logica modal.). Zbl 0226.02013Makinson, David 2 1971 A normal modal calculus between T and S4 without the finite model property. Zbl 0184.00806Makinson, David 12 1969 On the number of ultrafilters of infinite Boolean algebra. Zbl 0176.27502Makinson, D. C. 8 1969 On some completeness theorems in modal logic. Zbl 0295.02014Makinson, D. 25 1966 There are infinitely many Diodorean modal functions. Zbl 0147.24903Makinson, D. C. 4 1966 all cited Publications top 5 cited Publications all top 5 Cited by 848 Authors 40 Hansson, Sven Ove 18 Gabbay, Dov M. 17 Makinson, David Clement 16 Kern-Isberner, Gabriele 14 Rott, Hans 14 van der Torre, Leendert W. N. 13 Booth, Richard F. 12 Fermé, Eduardo Leopoldo 12 Konieczny, Sébastien 12 Li, Wei 12 Smets, Sonja J. L. 11 Baltag, Alexandru 11 Benferhat, Salem 11 Delgrande, James P. 11 Falappa, Marcelo Alejandro 11 Lorini, Emiliano 10 Beierle, Christoph 10 Meyer, Thomas Andreas 10 Peppas, Pavlos 10 Pino Pérez, Ramón 10 Reis, Maurício D. L. 9 Bonanno, Giacomo 9 van Ditmarsch, Hans Pieter 8 Cantwell, John C. 8 Gärdenfors, Peter 8 Halpern, Joseph Yehuda 8 Schlechta, Karl 8 Segerberg, Krister 8 Simari, Guillermo Ricardo 8 Zhu, Zhaohui 7 Boutilier, Craig 7 Herzig, Andreas 7 Hunter, Anthony 7 Liberatore, Paolo 7 Marquis, Pierre 7 Papini, Odile 7 Schurz, Gerhard 7 Strasser, Christian 6 Chopra, Samir 6 Dubois, Didier 6 Garapa, Marco 6 García, Alejandro Javier 6 Leite, João 6 Pagnucco, Maurice 6 Parikh, Rohit 6 Prade, Henri M. 5 Aravanis, Theofanis I. 5 Arieli, Ofer 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 Parent, Xavier 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 Alchourrón, Carlos E. 4 Antoniou, Grigoris 4 Beirlaen, Mathieu 4 Bloch, Isabelle 4 Bochman, Alexander 4 Bouraoui, Zied 4 Broersen, Jan M. 4 Chandler, Jake 4 Chen, Shifu 4 Dastani, Mehdi M. 4 Dietrich, Franz K. 4 Georgatos, Konstantinos 4 Ghose, Aditya K. 4 Giacomin, Massimiliano 4 Gierasimczuk, Nina 4 Governatori, Guido 4 Grossi, Davide 4 Hill, Brian 4 Huber, Franz 4 Kuipers, Theo A. F. 4 Lehmann, Daniel J. 4 Leitgeb, Hannes 4 Luo, Jie 4 Meyer, John-Jules Charles 4 Prakken, Henry 4 Schaub, Torsten H. 4 Sun, Xin 4 Tamargo, Luciano H. 4 van der Hoek, Wiebe 4 Varzinczak, Ivan Jóse 4 Velázquez-Quesada, Fernando Raymundo 4 Zhu, Wujia 3 Alechina, Natasha ...and 748 more Authors all top 5 Cited in 76 Serials 122 Artificial Intelligence 90 Journal of Philosophical Logic 78 Studia Logica 59 Synthese 42 Journal of Applied Non-Classical Logics 35 Annals of Mathematics and Artificial Intelligence 31 Journal of Applied Logic 28 International Journal of Approximate Reasoning 25 Journal of Logic, Language and Information 25 The Review of Symbolic Logic 19 The Journal of Symbolic Logic 19 Erkenntnis 16 Notre Dame Journal of Formal Logic 13 Theoretical Computer Science 11 International Journal of Intelligent Systems 8 Logica Universalis 7 Journal of Computer Science and Technology 7 The Bulletin of Symbolic Logic 6 Theory and Decision 6 Theory and Practice of Logic Programming 6 ACM Transactions on Computational Logic 5 Annals of Pure and Applied Logic 4 Journal of Economic Theory 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 Mathematical Economics 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 Games and Economic Behavior 3 The Journal of Artificial Intelligence Research (JAIR) 3 Logic and Logical Philosophy 2 Computers & Mathematics with Applications 2 Israel Journal of Mathematics 2 Mathematical Notes 2 Information Sciences 2 Journal of Mathematical Psychology 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 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 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 all top 5 Cited in 19 Fields 642 Mathematical logic and foundations (03-XX) 455 Computer science (68-XX) 56 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 History and biography (01-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 9 Probability theory and stochastic processes (60-XX) 8 General and overarching topics; collections (00-XX) 7 Statistics (62-XX) 6 General algebraic systems (08-XX) 6 Operations research, mathematical programming (90-XX) 3 Quantum theory (81-XX) 3 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Systems theory; control (93-XX) 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.