{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:49Z","timestamp":1725558949760},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_18","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"247-258","source":"Crossref","is-referenced-by-count":2,"title":["Where Did Mally Go Wrong?"],"prefix":"10.1007","author":[{"given":"Gert-Jan C.","family":"Lokhorst","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol.\u00a01. Princeton University Press, Princeton (1975)"},{"key":"18_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol.\u00a02. Princeton University Press, Princeton (1992)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1017\/S0269889703000954","volume":"16","author":"V.A. Bazhanov","year":"2003","unstructured":"Bazhanov, V.A.: The scholar and the \u2018Wolfhound Era\u2019: The fate of Ivan E.\u00a0Orlov\u2019s ideas in logic, philosophy, and science. Science in Context\u00a016, 535\u2013550 (2003)","journal-title":"Science in Context"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1040067312","volume":"37","author":"B.F. Chellas","year":"1996","unstructured":"Chellas, B.F., Segerberg, K.: Modal logics in the vicinity of S1. Notre Dame Journal of Formal Logic\u00a037, 1\u201324 (1996)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00260740","volume":"21","author":"K. Do\u0161en","year":"1992","unstructured":"Do\u0161en, K.: The first axiomatization of relevant logic. Journal of Philosophical Logic\u00a021, 339\u2013356 (1992)","journal-title":"Journal of Philosophical Logic"},{"key":"18_CR6","first-page":"1","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"D. F\u00f8llesdal","year":"1981","unstructured":"F\u00f8llesdal, D., Hilpinen, R.: Deontic logic: An introduction. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, 2nd edn., pp. 1\u201335. Reidel, Dordrecht (1981)","edition":"2"},{"key":"18_CR7","first-page":"213","volume-title":"New Studies in Exact Philosophy: Logic, Mathematics and Science. Proceedings of the 1999 Conference of the Society of Exact Philosophy","author":"L. Goble","year":"2001","unstructured":"Goble, L.: The Andersonian reduction and relevant deontic logic. In: Brown, B., Woods, J. (eds.) New Studies in Exact Philosophy: Logic, Mathematics and Science. Proceedings of the 1999 Conference of the Society of Exact Philosophy, pp. 213\u2013246. Hermes Science Publications, Paris (2001)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"176","DOI":"10.2307\/2964179","volume":"22","author":"E.J. Lemmon","year":"1957","unstructured":"Lemmon, E.J.: New foundations for Lewis modal systems. The Journal of Symbolic Logic\u00a022, 176\u2013186 (1957)","journal-title":"The Journal of Symbolic Logic"},{"key":"18_CR9","first-page":"65","volume":"49","author":"G.J.C. Lokhorst","year":"2008","unstructured":"Lokhorst, G.J.C.: Anderson\u2019s relevant deontic and eubouliatic systems. Notre Dame Journal of Formal Logic\u00a049, 65\u201373 (2008)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1305\/ndjfl\/1163775445","volume":"47","author":"G.J.C. Lokhorst","year":"2006","unstructured":"Lokhorst, G.J.C.: Andersonian deontic logic, propositional quantification, and Mally. Notre Dame Journal of Formal Logic\u00a047, 385\u2013395 (2006)","journal-title":"Notre Dame Journal of Formal Logic"},{"unstructured":"Lokhorst, G.J.C.: Mally\u2019s deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (2002), http:\/\/plato.stanford.edu\/entries\/mally-deontic\/","key":"18_CR11"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1163\/18756735-90000823","volume":"67","author":"G.J.C. Lokhorst","year":"2004","unstructured":"Lokhorst, G.J.C., Goble, L.: Mally\u2019s deontic logic. Grazer philosophische Studien\u00a067, 37\u201357 (2004)","journal-title":"Grazer philosophische Studien"},{"unstructured":"McCune, W.: Prover9 version 2008-11A (November 2008), http:\/\/www.cs.unm.edu\/~mccune\/prover9\/","key":"18_CR13"},{"doi-asserted-by":"crossref","unstructured":"Mally, E.: Grundgesetze des Sollens: Elemente der Logik des Willens. Leuschner und Lubensky, Graz (1926);","key":"#cr-split#-18_CR14.1","DOI":"10.1093\/mind\/XXXVI.141.124-b"},{"doi-asserted-by":"crossref","unstructured":"Reprinted in Mally, E.: Logische Schriften: Gro??es Logikfragment, Grundgesetze des Sollens. In: Wolf, K., Weingartner, P. (eds.), pp. 227???324. Reidel, Dordrecht (1971)","key":"#cr-split#-18_CR14.2","DOI":"10.1007\/978-94-010-3069-4_3"},{"key":"18_CR15","series-title":"2nd Series","first-page":"53","volume-title":"Reports of a Mathematical Colloquium","author":"K. Menger","year":"1939","unstructured":"Menger, K.: A logic of the doubtful: On optative and imperative logic. In: Reports of a Mathematical Colloquium. 2nd Series, vol.\u00a0(2), pp. 53\u201364. Indiana University Press, Notre Dame (1939)"},{"key":"18_CR16","first-page":"81","volume-title":"Ernst Mally: Versuch einer Neubewertung","author":"E. Morscher","year":"1998","unstructured":"Morscher, E.: Mallys Axiomsystem f\u00fcr die deontische Logik: Rekonstruktion und kritische W\u00fcrdigung. In: Hieke, A. (ed.) Ernst Mally: Versuch einer Neubewertung, pp. 81\u2013165. Academia Verlag, Sankt Augustin (1998)"},{"key":"18_CR17","first-page":"263","volume":"35","author":"I.E. Orlov","year":"1928","unstructured":"Orlov, I.E.: Ischislenie sovmestimosti predlozhenij. Matematicheskij sbornik\u00a035, 263\u2013286 (1928), http:\/\/mi.mathnet.ru\/msb\/v35\/i3\/p263","journal-title":"Matematicheskij sbornik"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jal.2007.07.007","volume":"7","author":"F. Rabe","year":"2009","unstructured":"Rabe, F., Pudl\u00e1k, P., Sutcliffe, G., Shen, W.: Solving the $100 modal logic challenge. Journal of Applied Logic\u00a07, 113\u2013130 (2009)","journal-title":"Journal of Applied Logic"},{"unstructured":"Slaney, J.K.: MaGIC (Matrix Generator for Implication Connectives) version 2.2.1 (November 2008), http:\/\/users.rsise.anu.edu.au\/~jks\/magic.html","key":"18_CR19"},{"key":"18_CR20","volume-title":"Modal Logic: The Lewis-Modal Systems","author":"J.J. Zeman","year":"1973","unstructured":"Zeman, J.J.: Modal Logic: The Lewis-Modal Systems. The Clarendon Press, Oxford (1973), http:\/\/www.clas.ufl.edu\/users\/jzeman\/modallogic\/"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14183-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:46Z","timestamp":1606186126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}