David C. Makinson (makinson)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Alchourrón, Carlos E., Gärdenfors, Peter and Makinson, David C. 1985. “On the Logic of Theory Change: Partial Meet Contraction Functions and their Associated Revision Functions.” The Journal of Symbolic Logic 50(2): 510–530.
Alchourrón, Carlos E. and Makinson, David C. 1981. “Hierarchies of Regulations and Their Logic.” in New Studies in Deontic Logic, edited by Risto Hilpinen, pp. 125–148. Synthese Library n. 152. Dordrecht: D. Reidel Publishing Co.
Alchourrón, Carlos E. and Makinson, David C. 1982. “The Logic of Theory Change: Contraction Functions and Their Associated Revision Functions.” Theoria 48: 14–37.
Alchourrón, Carlos E. and Makinson, David C. 1985. “On the Logic of Theory Change: Safe Contraction.” Studia Logica: An International Journal for Symbolic Logic 44: 405–422.
Brewka, Gerhard, Makinson, David C. and Schlechta, Karl. 1991. “Cumulative Inference Relations for JTMS and Logic Programming.” in Nonmonotonic and Inductive Logics, edited by Jürgen Dix, Klaus P. Jantke, and Peter H. Schmidt, pp. 1–12. Berlin: Springer.
Dix, Jürgen and Makinson, David C. 1992. “The Relationship between KLM and MAK Models for Nonmonotonic Inference Operations.” Journal of Logic, Language, and Information 1(2): 131–140.
Gärdenfors, Peter and Makinson, David C. 1988. “Revisions of Knowledge Systems Using Epistemic Entrenchment.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 83–95. San Francisco, California: Morgan Kaufmann Publishers.
Gärdenfors, Peter and Makinson, David C. 1994. “Nonmonotonic Inferences Based on Expectations.” Artificial Intelligence 65(2): 197–245.
Humberstone, I. Lloyd and Makinson, David C. 2011. “Intuitionistic Logic and Elementary Rules.” Mind 120(480): 1035–1051.
Makinson, David C. 1965a. “The Paradox of the Preface.” Analysis 25: 25–27.
Makinson, David C. 1965b. “An Alternative Characterisation of First-Degree Entailment.” Logique et Analyse 8(32): 308–311.
Makinson, David C. 1966. “On some Completeness Theorems in Modal Logic.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12: 379–384.
Makinson, David C. 1969. “Remarks on the Concept of Distribution in Traditional Logic.” Noûs 3: 103–108.
Makinson, David C. 1973a. Topics in Modern Logic. London: Methuen & Co.
Makinson, David C. 1973b. “A Warning about the Choice of Primitive Operators in Modal Logic.” The Journal of Philosophical Logic 2(2): 193–196.
Makinson, David C. 1981a. “Quantificational Reefs in Deontic Waters.” in New Studies in Deontic Logic, edited by Risto Hilpinen, pp. 87–91. Synthese Library n. 152. Dordrecht: D. Reidel Publishing Co.
Makinson, David C. 1981b. “Non-Equivalent Formulae in One Variable in a Strong Omnitemporal Logic.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 27(8): 111–112.
Makinson, David C. 1985. “How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change.” Synthese 62: 347–363.
Makinson, David C. 1986. “On the Formal Representation of Rights Relations.” The Journal of Philosophical Logic 15(4): 403–425.
Makinson, David C. 1987. “On the Status of the Postulate of Recovery in the Logic of Theory Change.” The Journal of Philosophical Logic 16(4): 383–394.
Makinson, David C. 1988. “Review of Harman (1986).” History and Philosophy of Logic 8: 113–115.
Makinson, David C. 1989. “General Theory of Cumulative Inference.” in Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning. Berlin: Springer Verlag.
Makinson, David C. 1993. “Five Faces of Minimality.” Studia Logica: An International Journal for Symbolic Logic 52: 339–379.
Makinson, David C. 1994. “General Patterns in Nonmonotonic Reasoning.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 35–109. Oxford: Oxford University Press.
Makinson, David C. 1997. “On the Force of Some Apparent Counterexamples to Recovery.” in Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, edited by Ernesto Garzón Valdés, Werner Krawietz, Georg Henrik von Wright, and Ruth Zimmerling. Berlin: Duncker & Humblot.
Makinson, David C. 1999. “On a Fundamental Problem of Deontic Logic.” in Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, edited by Paul McNamara and Henry Prakken, pp. 29–54. Frontiers in Artificial Intelligence and its Applications. Amsterdam: IOS Press.
Makinson, David C. 2005a. Bridges from Classical to Nonmonotonic Logic. Texts in Computing n. 5. London: King’s College Publications.
Makinson, David C. 2005b. “How to Go Nonmonotonic.” in Handbook of Philosophical Logic, Volume XII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 175–278. Dordrecht: Springer.
Makinson, David C. 2005c. “Logical Friendliness and Sympathy.” in Logica Universalis. Towards a General Theory of Logic, edited by Jean-Yves Béziau, pp. 191–206. Basel: Birkhäuser.
Makinson, David C. 2007. “Completeness Theorems, Representation Theorems: What’s the Difference?” in Hommage à Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz, edited by Toni Rønnow-Rasmussen, Björn Petersson, Jonas Josefsson, and Dan Egonsson. Lund: Lunds Universitet, Filosofiska Institutionen, http://www.fil.lu.se/hommageawlodek.
Makinson, David C. 2009. “Levels of Belief in Nonmonotonic Reasoning.” in Degrees of Belief, edited by Franz Huber and Christoph Schmidt-Petri, pp. 341–354. Synthese Library n. 342. Dordrecht: Springer.
Makinson, David C. 2012. “Logical Questions behind the Lottery and Preface Paradoxes: Lossy Rules for Uncertain Inference.” Synthese 186(2): 511–529.
Makinson, David C. 2013. “Advice to the Relevantist Policeman.” in The Logica Yearbook 2012, edited by Vı́t Punčochář and Petr Švarný, pp. 99–108. London: College Publications.
Makinson, David C. and Gärdenfors, Peter. 1991. “Relations between the Logic of Theory Change and Nonmonotonic Logic.” in The Logic of Theory Change, edited by André Fuhrmann and Michael Morreau, pp. 185–205. Lecture Notes in Artificial Intelligence n. 465. Berlin: Springer.
Makinson, David C., Malinowski, Jacek and Wansing, Heinrich Theodor, eds. 2009a. Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Makinson, David C., Malinowski, Jacek and Wansing, Heinrich Theodor. 2009b. “From Logic to Mathematical Philosophy.” in Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV, edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 1–8. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Makinson, David C. and Schlechta, Karl. 1991. “Floating Conclusions and Zombie Paths: Two Deep Difficulties in the ‘Directly Skeptical’ Approach to Defeasible Inheritance Networks.” Artificial Intelligence 48(2): 199–209.
Makinson, David C. and van der Torre, Leendert W. N. 2000. “Input/Output Logics.” The Journal of Philosophical Logic 29(4): 383–408.
Makinson, David C. and van der Torre, Leendert W. N. 2001. “Constraints for Input/Output Logics.” The Journal of Philosophical Logic 30(2): 155–185.
Makinson, David C. and van der Torre, Leendert W. N. 2003. “Permission from an Input/Output Perspective.” The Journal of Philosophical Logic 32(3): 391–391.
Makinson, David C. and van der Torre, Leendert W. N. 2007. “What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.” in Normative Multi-Agent Systems, edited by Guido Boella, Leendert W. N. van der Torre, and Harko Verhagen. Dagstuhl Seminar Proceedings n. 7122. Dagstuhl: Leibniz-Zentrum für Informatik.