David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic

Total Page:16

File Type:pdf, Size:1020Kb

David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic Outstanding Contributions to Logic 3 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic Volume 3 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum For further volumes: http://www.springer.com/series/10033 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems 123 Editor Sven Ove Hansson Division of Philosophy Royal Institute of Technology (KTH) Stockholm Sweden ISSN 2211-2758 ISSN 2211-2766 (electronic) ISBN 978-94-007-7758-3 ISBN 978-94-007-7759-0 (eBook) DOI 10.1007/978-94-007-7759-0 Springer Dordrecht Heidelberg New York London Library of Congress Control Number: 2013956333 Ó Springer Science+Business Media Dordrecht 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) Preface I had my first contact with David Makinson in 1987 when I was a Ph.D. student. Peter Gärdenfors advised me to send my manuscript on belief change to David, since he was such a good commentator. So I did. Three weeks later when returning home from a short vacation I found three handwritten letters from David, containing detailed comments on different parts of the manuscript. Those comments helped me tremendously in improving what became my first publication in that area (appearing in Theoria 1989). Like so many others, I have continued over the years to benefit from David’s unusual competence as a logician. I have also been much influenced by his continued efforts to make full use of the resources of classical logic. There has been much discussion about the ‘‘unreasonable effectiveness of mathematics’’ in the empirical sciences. Perhaps, we should also start discussing the unreasonable effectiveness of classical logic in the formal sciences. Several remarkable examples of that effectiveness can be found in David’s oeuvre. So it should be no surprise that I was delighted when (before becoming the series editor) I was offered the task of editing this volume. Editing the book has continued to be a pleasure, not least due to the enthusiasm and cooperative spirit of all the authors. All contributions have been thoroughly peer-reviewed (including David’s, at his own insistence). Reviewing is proverbially a thankless task, but on behalf of the authors and myself I would like to thank the reviewers who have done so much for the quality of this book: Alex Bochman, Guido Boella, Richard Booth, Luc Bovens, Richard Bradley, John Cantwell, Samir Chopra, Igor Douven, Didier Dubois, J. Michael Dunn, Eduardo Fermé, André Fuhrmann, Lou Goble, Guido Governatori, Davide Grossi, Lloyd Humberstone, Hannes Leitgeb, Joao Marcos, Tommie Meyer, Jeff Paris, Ramon Pino Perez, Tor Sandqvist, Marek Sergot, John Slaney, Kees van Deemter, Frederik van der Putte, Paul Weirich, Emil Weydert, and Gregory Wheeler. Very special thanks go to David Makinson for being just as helpful to the authors and editor of this volume as he was to me 26 years ago. Stockholm, May 24, 2013 Sven Ove Hansson v Contents Part I Introductory Preview............................................... 3 Sven Ove Hansson David Makinson and the Extension of Classical Logic ............ 11 Sven Ove Hansson and Peter Gärdenfors A Tale of Five Cities ..................................... 19 David Makinson Part II Logic of Belief Change Safe Contraction Revisited................................. 35 Hans Rott and Sven Ove Hansson A Panorama of Iterated Revision ............................ 71 Pavlos Peppas AGM, Ranking Theory, and the Many Ways to Cope with Examples ................................... 95 Wolfgang Spohn Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change ................................. 119 Edwin Mares Epistemic Reasoning in Life and Literature .................... 143 Rohit Parikh vii viii Contents Part III Uncertain Reasoning New Horn Rules for Probabilistic Consequence: Is Oþ Enough? .... 157 James Hawthorne Non-Monotonic Logic: Preferential Versus Algebraic Semantics ..... 167 Karl Schlechta Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics .......................... 195 Hykel Hosni Part IV Normative Systems Abstract Interfaces of Input/Output Logic ..................... 225 Audun Stolpe Intuitionistic Basis for Input/Output Logic ..................... 263 Xavier Parent, Dov Gabbay and Leendert van der Torre Reasoning About Permission and Obligation ................... 287 Jörg Hansen Norm Change in the Common Law .......................... 335 John Horty Part V Classical Resources Intelim Rules for Classical Connectives ....................... 359 David Makinson Relevance Logic as a Conservative Extension of Classical Logic ..... 383 David Makinson Part VI Responses Reflections on the Contributions ............................ 401 David Makinson Appendix: David Makinson: Annotated List of Publications ........ 421 Contributors Dov Gabbay is an Augustus de Morgan (emeritus) professor of logic at the King’s College London, an Invited Professor at the University of Luxembourg, and a professor at Bar-Illan University in Isreal. He is editor-in-chief of several international journals, and several Handbooks, including the Handbook of Philo- sophical Logic. His research interests include: logic and computation; proof theory and goal-directed theorem proving; nonclassical logics and nonmonotonic rea- soning; labeled deductive systems; fibring logics; and reactive systems. His most recent books include, both co-authored with Karl Schlechta: Conditionals and Modularity in General Logics (Springer 2011); Logical Tools for Handling Change in Agent-based Systems (Springer 2009). Peter Gärdenfors is a professor of Cognitive Science at Lund University. His previous research focussed on decision theory, belief revision, and nonmonotonic reasoning. His main current research interests are concept formation, cognitive semantics, and the evolution of thinking. His main books are Knowledge in Flux: Modeling the Dynamics of Epistemic States, (MIT Press 1988), Conceptual Spaces (MIT Press 2000), How Homo Became Sapiens: On the Evolution of Thinking (Oxford University Press 2003) and the forthcoming Geometry of Meaning: Semantics Based on Conceptual Spaces (MIT Press 2013). Jörg Hansen studied philosophy and law at the universities of Bielefeld, Ham- burg and Leipzig, Germany. He obtained his Ph.D. from the University of Leipzig, Institute of Philosophy, with a thesis on Imperatives and Deontic Logic. He works as a lawyer in Eisenach, Germany, and in 2005 was appointed the director of the Bach House, Eisenach, the museum at Johann Sebastian Bach’s birthplace. His logical research focusses on deontic logic. Sven Ove Hansson is a professor in philosophy and head of the Division of Philosophy, Royal Institute of Technology, Stockholm. He is editor-in-chief of Theoria and of the book series Outstanding Contributions to Logic. He is also member of the editorial boards of several journals, including the Journal of Philosophical Logic, Studia Logica, and Synthese. His logical research has its focus on belief revision, preference logic, and deontic logic. His other philo- sophical research includes contributions to decision theory, the philosophy of risk and moral, and political philosophy. His books include A Textbook of Belief ix x Contributors Dynamics. Theory Change and Database Updating (Kluwer 1999) and The Structures of Values and Norms (CUP 2001). James Hawthorne is a philosophy professor at the University of Oklahoma. His research primarily involves the development and explication of the probabilistic logics, especially
Recommended publications
  • Journal of Applied Logic
    JOURNAL OF APPLIED LOGIC AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Impact Factor p.1 • Abstracting and Indexing p.1 • Editorial Board p.1 • Guide for Authors p.5 ISSN: 1570-8683 DESCRIPTION . This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent. For a list of areas covered see the Editorial Board. The editors keep close contact with the various application areas, with The International Federation of Compuational Logic and with the book series Studies in Logic and Practical Reasoning. Benefits to authors We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services. Please see our Guide for Authors for information on article submission. This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license. If you require any further information or help, please visit our Support Center IMPACT FACTOR . 2016: 0.838 © Clarivate Analytics Journal Citation Reports 2017 ABSTRACTING AND INDEXING . Zentralblatt MATH Scopus EDITORIAL BOARD . Executive Editors Dov M. Gabbay, King's College London, London, UK Sarit Kraus, Bar-llan University,
    [Show full text]
  • Independence Day? Matthew Mandelkern All Souls College, Oxford, OX1 4AL, UK E-Mail: [email protected]
    Downloaded from https://academic.oup.com/jos/advance-article-abstract/doi/10.1093/jos/ffy013/5098264 by University of Oxford - Bodleian Library, [email protected] on 19 September 2018 Journal of Semantics, 00, 2018, 1–18 doi:10.1093/jos/ffy013 Advance Access Publication Date: Independence Day? Matthew Mandelkern All Souls College, Oxford, OX1 4AL, UK E-mail: [email protected] Daniel Rothschild University College London, Gower Street, London, WC1E 6BT, UK E-mail: [email protected] First version received 25 June 2017; Second version received 13 September 2017; Accepted 10 July 2018 1 INTRODUCTION Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information does not in general preserve independencies. We conclude that the approach taken by van Rooij and Lassiter does not succeed in resolving the proviso problem. 2 THE PROVISO PROBLEM Standard theories of semantic presupposition,1 in particular satisfaction theory, predict that the strongest semantic presupposition of an indicative conditional with the form
    [Show full text]
  • After Madrid: the Eu's Response to Terrorism
    HOUSE OF LORDS European Union Committee 5th Report of Session 2004-05 After Madrid: the EU’s response to terrorism Report with Evidence Ordered to be printed 22 February and published 8 March 2005 Published by the Authority of the House of Lords London : The Stationery Office Limited £22.00 HL Paper 53 The European Union Committee The European Union Committee is appointed by the House of Lords “to consider European Union documents and other matters relating to the European Union”. The Committee has seven Sub-Committees which are: Economic and Financial Affairs, and International Trade (Sub-Committee A) Internal Market (Sub-Committee B) Foreign Affairs, Defence and Development Policy (Sub-Committee C) Agriculture and Environment (Sub-Committee D) Law and Institutions (Sub-Committee E) Home Affairs (Sub-Committee F) Social and Consumer Affairs (Sub-Committee G) Our Membership The Members of the European Union Committee are: Lord Blackwell Lord Neill of Bladen Lord Bowness Lord Radice Lord Dubs Lord Renton of Mount Harry Lord Geddes Lord Scott of Foscote Lord Grenfell (Chairman) Lord Shutt of Greetland Lord Hannay of Chiswick Baroness Thomas of Walliswood Lord Harrison Lord Tomlinson Baroness Maddock Lord Woolmer of Leeds Lord Marlesford Lord Wright of Richmond Information about the Committee The reports and evidence of the Committee are published by and available from The Stationery Office. For information freely available on the web, our homepage is: http://www.parliament.uk/parliamentary_committees/lords_eu_select_committee.cfm There you will find many of our publications, along with press notices, details of membership and forthcoming meetings, and other information about the ongoing work of the Committee and its Sub-Committees, each of which has its own homepage.
    [Show full text]
  • Sets, Logic and Maths for Computing
    Undergraduate Topics in Computer Science Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions. For further volumes: http://www.springer.com/series/7592 David Makinson Sets, Logic and Maths for Computing Second edition 123 David Makinson London School of Economics Department of Philosophy Houghton Street WC2A 2AE London United Kingdom [email protected] Series editor Ian Mackie Advisory board Samson Abramsky, University of Oxford, Oxford, UK Karin Breitman, Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil Chris Hankin, Imperial College London, London,UK Dexter Kozen, Cornell University, Ithaca, USA Andrew Pitts, University of Cambridge, Cambridge, UK Hanne Riis Nielson, Technical University of Denmark, Kongens Lyngby, Denmark Steven Skiena, Stony Brook University, Stony Brook, USA Iain Stewart, University of Durham, Durham, UK ISSN 1863-7310 ISBN 978-1-4471-2499-3 e-ISBN 978-1-4471-2500-6 DOI 10.1007/978-1-4471-2500-6 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication
    [Show full text]
  • David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic
    Outstanding Contributions to Logic 3 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic Volume 3 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum For further volumes: http://www.springer.com/series/10033 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems 123 Editor Sven Ove Hansson Division of Philosophy Royal Institute of Technology (KTH) Stockholm Sweden ISSN 2211-2758 ISSN 2211-2766 (electronic) ISBN 978-94-007-7758-3 ISBN 978-94-007-7759-0 (eBook) DOI 10.1007/978-94-007-7759-0 Springer Dordrecht Heidelberg New York London Library of Congress Control Number: 2013956333 Ó Springer Science+Business Media Dordrecht 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer.
    [Show full text]
  • Volume 8, Number 9 (Optimised for Screen Readers)
    Volume 8, Number 9 September 2014 www.thereasoner.org ISSN 1757-0522 Contents Editorial Features News What’s Hot in . Events Courses and Programmes Jobs and Studentships Editorial Among logicians, David Makinson needs no introduction. Readers of neighbouring disciplines are likely to be well acquainted with the Preface Paradox, which he put forward as a doctoral student. Others will certainly go a-ha! when realising that he is the M in AGM trio (Alchourron,´ Gardenfors, Makinson) which introduced the logical approach to the theory of belief change. Perhaps less known to general audiences is his development of the model theory of non-monotonic conse- quence relations, which nonetheless means (personally) a lot to me. When I learnt the “Gabbay-Makinson” consequence re- lation from Jeff Paris’ MSc classes in Manchester, I felt that logic-based uncertain reasoning was the thing I wanted to do. So it was with enormous enthusiasm that I accepted the Edi- tor’s invitation to arrange the interview below for the readers of The Reasoner. I think they will join me in thanking David for his time and kindness during its preparation. For the record, David Makinson is Guest Professor in the Department of Philosophy, Logic and Scientific Method of the London School of Economics. Before that, in reverse chrono- logical order, he worked at King’s College (London), UNESCO (Paris), and the American University of Beirut, following education in Oxford, UK after Sydney, Australia. He is the author of Sets, Logic and Maths for Computing (second edition 2012), Bridges from Classical to Nonmonotonic Logic (2005), Topics in Modern Logic (1973), as well as many papers in professional journals.
    [Show full text]
  • Journal of Logics
    Volume 4 Volume ISSN PRINT 2055-3706 ISSN ONLINE 2055-3714 Issue 11 Contents The IfCoLog ARTICLES Editor’s Note December 2017 John Woods 3557 Dale Jacquette: An Appreciation John Woods 3559 Journal of Logics Identifi cation of Identity Jean-Yves Beziau 3571 Inside Außersein Filippo Casati and Graham Priest 3583 and their Applications Truth and Interpretation Volume 4 Issue 11 December 2017 Dagfi nn Føllesdal 3597 Content and Object in Brentano Guillaume Fréchette 3609 The IfColog Journal of Logics and their Applications Special Issue Nuclear and Extra-nuclear Properties Nicholas Griffi n 3629 Dedicated to the Memory On the Existential Import of General Germs Gudio Imaguire 3659 of Dale Jacquette How do we Know Things with Signs? A Model of Semiotic Intentionality Manuel Gustavo Isaac 3683 Guest Editor Schopenhauer’s Consoling View of Death John Woods Christopher Janaway 3705 Taming the Existent Golden Mountain: the Nuclear Option Frederik Kroon 3719 Reminiscences of Alonzo Church Nicholas Rescher 3735 Noneism and Allism on the Objects of Thought Tom Schoonen and Franz Berto 3739 Why Nothing Fails to Exist Peter Simons 3759 Closing Words Tina Jacquette 3773 Dale Jacquette. Publications Compiled by Tina Jacquette 3775 IFCoLog Journal of Logics and their Applications Volume 4, Number 11 December 2017 Disclaimer Statements of fact and opinion in the articles in IfCoLog Journal of Logics and their Applications are those of the respective authors and contributors and not of the IfCoLog Journal of Logics and their Applications or of College Publications. Neither College Publications nor the IfCoLog Journal of Logics and their Applications make any representation, express or implied, in respect of the accuracy of the material in this journal and cannot accept any legal responsibility or liability for any errors or omissions that may be made.
    [Show full text]
  • Official Program, Twentieth World
    ПА1ДЕ1А TWENTIETH WORLD CONGRESS OF PHILOSOPHY Philosophy Educating Humanity / La Philosophie dans L’Education de L’Humanité Philosophie als Erzieherin der Menschheit La Filosofía en la Educación de la Humanidad Философия в Воспитании Человечества PROGRAM Copley Place Boston, Massachusetts USA 10-16 August, 1998 T w e n t ie t h W o r l d C o n g r e ss o f P h il o so ph y T a b le o f C o n t e n t s T a b le d es m a tiè r e s In ha lt T a b la de M a te r ia s О гл а в л е н и е Information 2 Organizers 3-4 Greetings From the American Organizing Committee 5-14 Abbreviations 15 Acknowledgements 16 Program 17-81 Special Events 17-19 Monday 20-27 Tuesday 28-37 Wednesday 38-49 Thursday 50-61 Friday 62-73 Saturday 74-81 Index 82-98 M aps 99-108 1 T w e n t ie t h W o r l d C o n g r e ss o f P h il o so p h y Information Informations Información Informationen Информация American Organizing Committee Boston University 745 Commonwealth Avenue Boston, MA 02215 (617) 353-3072 [email protected] www.bu.edu/WCP Congress Program Volume Edited and Supervised by Mark D. Gedney, Ph.D. Kevin L. Stoehr, Ph.D. This document was printed with the generous support of the: Philosophy Documentation Center Bowling Green State University Bowling Green, Ohio 43403-0189 tel: 01-419-372-2419 fax: 01-419-372-6987 http://www.bgsu.edu/pdc/ Paideia log design by Janet L.
    [Show full text]
  • Parallel Interpolation, Splitting, and Relevance in Belief Change
    George Kourousias and David C. Makinson Parallel interpolation, splitting, and relevance in belief change Article (Accepted version) (Refereed) Original citation: Kourousias, George and Makinson, David C. (2007) Parallel interpolation, splitting, and relevance in belief change. Journal of symbolic logic, 72 . pp. 994-1002. © 2007 Association for Symbolic Logic This version available at: http://eprints.lse.ac.uk/3401/ Available in LSE Research Online: August 2008 LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Users may download and/or print one copy of any article(s) in LSE Research Online to facilitate their private study or for non-commercial research. You may not engage in further distribution of the material or use it for any profit-making activities or any commercial gain. You may freely distribute the URL (http://eprints.lse.ac.uk) of the LSE Research Online website. This document is the author’s final manuscript accepted version of the journal article, incorporating any revisions agreed during the peer review process. Some differences between this version and the published version may remain. You are advised to consult the publisher’s version if you wish to cite from it. The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PARALLEL INTERPOLATION, SPLITTING, AND RELEVANCE IN BELIEF CHANGE GEORGE KOUROUSIAS AND DAVID MAKINSON Abstract. The splitting theorem says that any set of formulae has a finest representation as a family of letter-disjoint sets.
    [Show full text]
  • David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic
    Outstanding Contributions to Logic 3 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems Outstanding Contributions to Logic Volume 3 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum For further volumes: http://www.springer.com/series/10033 Sven Ove Hansson Editor David Makinson on Classical Methods for Non-Classical Problems 123 Editor Sven Ove Hansson Division of Philosophy Royal Institute of Technology (KTH) Stockholm Sweden ISSN 2211-2758 ISSN 2211-2766 (electronic) ISBN 978-94-007-7758-3 ISBN 978-94-007-7759-0 (eBook) DOI 10.1007/978-94-007-7759-0 Springer Dordrecht Heidelberg New York London Library of Congress Control Number: 2013956333 Ó Springer Science+Business Media Dordrecht 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer.
    [Show full text]