{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T09:30:26Z","timestamp":1747301426386,"version":"3.37.3"},"reference-count":107,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100004497","name":"Onderzoeksraad, KU Leuven","doi-asserted-by":"publisher","award":["IDN-19-009"],"award-info":[{"award-number":["IDN-19-009"]}],"id":[{"id":"10.13039\/501100004497","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s10992-024-09765-4","type":"journal-article","created":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T09:02:29Z","timestamp":1719219749000},"page":"1265-1290","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0176-1958","authenticated-orcid":false,"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8186-0170","authenticated-orcid":false,"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,24]]},"reference":[{"key":"9765_CR1","doi-asserted-by":"publisher","DOI":"10.1093\/actrade\/9780198720867.book.1","volume-title":"Aristotle \u2013 Categories and De Interpretatione","author":"JL Ackrill","year":"1963","unstructured":"Ackrill, J. L. (1963). Aristotle \u2013 Categories and De Interpretatione. Clarendon Press."},{"key":"9765_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2307\/j.ctv2nrzhd7.7","volume-title":"New dimensions of the square of opposition","author":"E Alvarez","year":"2017","unstructured":"Alvarez, E., & Correia, M. (2017). Conversion and opposition: Traditional and theoretical formulations. In J.-Y. Beziau & S. Gerogiorgakis (Eds.), New dimensions of the square of opposition (pp. 87\u2013105). Philosophia Verlag."},{"key":"9765_CR3","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s11787-016-0156-x","volume":"20","author":"E Alvarez-Fontecilla","year":"2016","unstructured":"Alvarez-Fontecilla, E. (2016). Canonical syllogistic moods in traditional Aristotelian logic. Logica Universalis, 20, 517\u2013531.","journal-title":"Logica Universalis"},{"key":"9765_CR4","first-page":"1","volume-title":"Symbolic and Quantiative Approaches to Reasoning with Uncertainty (ECSQARU 2013), LNCS 7958","author":"L Amgoud","year":"2013","unstructured":"Amgoud, L., & Prade, H. (2013). A formal concept view of formal argumentation. In L. C. van der Gaag (Ed.), Symbolic and Quantiative Approaches to Reasoning with Uncertainty (ECSQARU 2013), LNCS 7958 (pp. 1\u201312). Springer."},{"key":"9765_CR5","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1305\/ndjfl\/1093887833","volume":"18","author":"A Baker","year":"1977","unstructured":"Baker, A. (1977). Classical logical relations. Notre Dame Journal of Formal Logic, 18, 164\u2013168.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9765_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1017\/S1755020313000373","volume":"7","author":"H Ben-Yami","year":"2014","unstructured":"Ben-Yami, H. (2014). The quantified argument calculus. Review of Symbolic Logic, 7, 120\u2013146.","journal-title":"Review of Symbolic Logic"},{"key":"9765_CR7","unstructured":"Ben-Yami, H. (forthcoming). The quantified argument calculus and natural logic. Dialectica."},{"key":"9765_CR8","unstructured":"Carnap, R. (1947). Meaning and necessity. A study in semantics and modal logic. University of Chicago Press."},{"key":"9765_CR9","first-page":"1","volume":"5","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R. M. (1963). Supererogation and offence: A conceptual scheme for ethics. Ratio, 5, 1\u201314.","journal-title":"Ratio"},{"key":"9765_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1163\/15685284-bja10078","volume":"68","author":"R Christensen","year":"2023","unstructured":"Christensen, R. (2023). The first square of opposition. Phronesis, 68, 371\u2013383.","journal-title":"Phronesis"},{"key":"9765_CR11","volume-title":"Inquisitive semantics","author":"I Ciardelli","year":"2019","unstructured":"Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2019). Inquisitive semantics. Oxford University Press."},{"key":"9765_CR12","doi-asserted-by":"crossref","unstructured":"Ciucci, D., Dubois, D., & Prade, H. (2012). Oppositions in rough set theory. In T. Li, et al (Ed.), Rough sets and knowledge technology, LNAI 7414 (pp. 504\u2013513). Springer.","DOI":"10.1007\/978-3-642-31900-6_62"},{"key":"9765_CR13","first-page":"154","volume-title":"Foundations of Information and Knowledge Systems (FoIKS 2014), LNCS 8367","author":"D Ciucci","year":"2014","unstructured":"Ciucci, D., Dubois, D., & Prade, H. (2014). The structure of oppositions in rough set theory and formal concept analysis - Toward a new bridge between the two settings. In C. Beierle & C. Meghini (Eds.), Foundations of Information and Knowledge Systems (FoIKS 2014), LNCS 8367 (pp. 154\u2013173). Springer."},{"key":"9765_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2015-1282","volume":"142","author":"D Ciucci","year":"2015","unstructured":"Ciucci, D., Dubois, D., & Prade, H. (2015). Structures of opposition in fuzzy rough sets. Fundamenta Informaticae, 142, 1\u201319.","journal-title":"Fundamenta Informaticae"},{"key":"9765_CR15","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","volume":"76","author":"D Ciucci","year":"2016","unstructured":"Ciucci, D., Dubois, D., & Prade, H. (2016). Structures of opposition induced by relations. The Boolean and the gradual cases. Annals of Mathematics and Artificial Intelligence, 76, 351\u2013373.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9765_CR16","unstructured":"Cohen, M.\u00a0R., & Nagel, E. (1930). An introduction to logic and scientific method. Routledge and Kegan Paul"},{"key":"9765_CR17","doi-asserted-by":"publisher","first-page":"391","DOI":"10.5840\/ancientphil200929232","volume":"29","author":"M Correia","year":"2009","unstructured":"Correia, M. (2009). The syllogistic theory of Boethius. Ancient Philosophy, 29, 391\u2013405.","journal-title":"Ancient Philosophy"},{"key":"9765_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-45062-9_3","volume-title":"The square of opposition: A cornerstone of thought","author":"M Correia","year":"2017","unstructured":"Correia, M. (2017). The proto-exposition of Aristotelian categorical logic. In J.-Y. Beziau & G. Basti (Eds.), The square of opposition: A cornerstone of thought (pp. 21\u201334). Springer."},{"key":"9765_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1093\/mind\/XLV.178.209","volume":"45","author":"HB Curry","year":"1936","unstructured":"Curry, H. B. (1936). A mathematical treatment of the rules of the syllogism. Mind, 45, 209\u2013216.","journal-title":"Mind"},{"key":"9765_CR20","unstructured":"Cze\u017cowski, T. (1958). Odczyty filozoficzne [Philosophical Lectures]. Towarzystwo Naukowe w Torunin."},{"key":"9765_CR21","doi-asserted-by":"crossref","unstructured":"De Klerck, A., Vignero, L., & Demey, L. (2023). Morphisms between Aristotelian diagrams. Logica Universalis, 1\u201335.","DOI":"10.52843\/cassyni.211m74"},{"key":"9765_CR22","doi-asserted-by":"publisher","first-page":"393","DOI":"10.2307\/2012642","volume":"9","author":"T de Laguna","year":"1912","unstructured":"de Laguna, T. (1912). Opposition and the syllogism. Journal of Philosophy, Psychology and Scientific Methods, 9, 393\u2013400.","journal-title":"Journal of Philosophy, Psychology and Scientific Methods"},{"key":"9765_CR23","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s10849-015-9215-6","volume":"24","author":"P Dekker","year":"2015","unstructured":"Dekker, P. (2015). Not only Barbara. Journal of Logic, Language and Information, 24, 95\u2013129.","journal-title":"Journal of Logic, Language and Information"},{"key":"9765_CR24","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-25591-0_24","volume-title":"Modeling and using context, LNCS 9405","author":"L Demey","year":"2015","unstructured":"Demey, L. (2015). Interactively illustrating the context-sensitivity of Aristotelian diagrams. In H. Christiansen, I. Stojanovic, & G. Papadopoulos (Eds.), Modeling and using context, LNCS 9405 (pp. 331\u2013345). Springer."},{"key":"9765_CR25","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1093\/logcom\/exy015","volume":"28","author":"L Demey","year":"2018","unstructured":"Demey, L. (2018). Computing the maximal Boolean complexity of families of Aristotelian diagrams. Journal of Logic and Computation, 28, 1323\u20131339.","journal-title":"Journal of Logic and Computation"},{"key":"9765_CR26","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1080\/01445340.2018.1531481","volume":"40","author":"L Demey","year":"2019","unstructured":"Demey, L. (2019). Boolean considerations on John Buridan\u2019s octagons of oppositions. History and Philosophy of Logic, 40, 116\u2013134.","journal-title":"History and Philosophy of Logic"},{"key":"9765_CR27","first-page":"453","volume":"248","author":"L Demey","year":"2019","unstructured":"Demey, L. (2019). Metalogic, metalanguage and logical geometry. Logique et Analyse, 248, 453\u2013478.","journal-title":"Logique et Analyse"},{"key":"9765_CR28","unstructured":"Demey, L. (2019). The role of Aristotelian diagrams in scientific communication. In A. Benedek & K. Ny\u00edri (Eds.), Learning and technology in historical perspective, Perspectives on visual learning 2 (pp. 69\u201377). Hungarian Academy of Sciences."},{"key":"9765_CR29","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1086\/707692","volume":"5","author":"L Demey","year":"2020","unstructured":"Demey, L. (2020). Mathematization and Vergessenmachen in the historiography of logic. History of Humanities, 5, 51\u201374.","journal-title":"History of Humanities"},{"key":"9765_CR30","doi-asserted-by":"crossref","unstructured":"Demey, L. (2020). From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry. In J. Lemanski (Ed.), Language, logic, and mathematics in Schopenhauer (pp. 181\u2013205). Springer.","DOI":"10.1007\/978-3-030-33090-3_12"},{"key":"9765_CR31","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11229-018-01994-w","volume":"198","author":"L Demey","year":"2021","unstructured":"Demey, L. (2021). Aristotelian diagrams for semantic and syntactic consequence. Synthese, 198, 187\u2013207.","journal-title":"Synthese"},{"key":"9765_CR32","doi-asserted-by":"publisher","first-page":"1703","DOI":"10.1007\/s10992-023-09723-6","volume":"52","author":"L Demey","year":"2023","unstructured":"Demey, L., & Frijters, S. (2023). Logic-sensitivity and bitstring semantics in the square of opposition. Journal of Philosophical Logic, 52, 1703\u20131721.","journal-title":"Journal of Philosophical Logic"},{"key":"9765_CR33","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-662-44043-8_23","volume-title":"Diagrammatic representation and inference, LNCS 8578","author":"L Demey","year":"2014","unstructured":"Demey, L., & Smessaert, H. (2014). The relationship between Aristotelian and Hasse diagrams. In T. Dwyer, H. Purchase, & A. Delaney (Eds.), Diagrammatic representation and inference, LNCS 8578 (pp. 213\u2013227). Springer."},{"key":"9765_CR34","doi-asserted-by":"crossref","unstructured":"Demey, L., & Smessaert, H. (2016). The interaction between logic and geometry in Aristotelian diagrams. In M.\u00a0Jamnik, Y.\u00a0Uesaka, & S.\u00a0Elzer Schwartz (Eds.), Diagrammatic representation and inference, LNCS 9781 (pp. 67\u201382). Springer.","DOI":"10.1007\/978-3-319-42333-3_6"},{"key":"9765_CR35","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s11787-015-0136-6","volume":"10","author":"L Demey","year":"2016","unstructured":"Demey, L., & Smessaert, H. (2016). Metalogical decorations of logical diagrams. Logica Universalis, 10, 233\u2013292.","journal-title":"Logica Universalis"},{"key":"9765_CR36","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10472-018-9585-y","volume":"83","author":"L Demey","year":"2018","unstructured":"Demey, L., & Smessaert, H. (2018). Geometric and cognitive differences between Aristotelian diagrams for the Boolean algebra $$\\mathbb{B} _4$$. Annals of Mathematics and Artificial Intelligence, 83, 185\u2013208.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9765_CR37","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10992-017-9430-5","volume":"47","author":"L Demey","year":"2018","unstructured":"Demey, L., & Smessaert, H. (2018). Combinatorial bitstring semantics for arbitrary logical fragments. Journal of Philosophical Logic, 47, 325\u2013363.","journal-title":"Journal of Philosophical Logic"},{"key":"9765_CR38","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-030-06164-7_3","volume-title":"A guided tour of artificial intelligence research: Volume I: Knowledge representation, reasoning and learning","author":"T Den\u0153ux","year":"2020","unstructured":"Den\u0153ux, T., Dubois, D., & Prade, H. (2020). Representations of uncertainty in artificial intelligence: Probability and possibility. In P. Marquis, O. Papini, & H. Prade (Eds.), A guided tour of artificial intelligence research: Volume I: Knowledge representation, reasoning and learning (pp. 69\u2013117). Springer."},{"key":"9765_CR39","unstructured":"Dopp, J. (1949). Le\u00e7ons de logique formelle. Premi\u00e8re partie: Logique ancienne, La logique des jugements pr\u00e9dicatifs. Editions de l\u2019Institut Sup\u00e9rieur de Philosophie."},{"key":"9765_CR40","unstructured":"Dopp, J. (1960). Formal Logic. Joseph F. Wagner Inc."},{"key":"9765_CR41","doi-asserted-by":"publisher","first-page":"93","DOI":"10.5840\/schoolman195229234","volume":"29","author":"JJ Doyle","year":"1952","unstructured":"Doyle, J. J. (1952). The hexagon of relationships. The Modern Schoolman, 29, 93\u201397.","journal-title":"The Modern Schoolman"},{"key":"9765_CR42","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11787-011-0039-0","volume":"6","author":"D Dubois","year":"2012","unstructured":"Dubois, D., & Prade, H. (2012). From Blanch\u00e9\u2019s hexagonal organization of concepts to formal concept analysis and possibility theory. Logica Universalis, 6, 149\u2013169.","journal-title":"Logica Universalis"},{"key":"9765_CR43","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-319-16235-5_7","volume-title":"Enric Trillas: A passion for fuzzy sets","author":"D Dubois","year":"2015","unstructured":"Dubois, D., & Prade, H. (2015). Gradual structures of oppositions. In L. Magdalena, J. L. Verdegay, & F. Esteva (Eds.), Enric Trillas: A passion for fuzzy sets (pp. 79\u201391). Springer."},{"key":"9765_CR44","first-page":"21","volume-title":"Formal Concept Analysis (ICFCA 2015), LNCS 9113","author":"D Dubois","year":"2015","unstructured":"Dubois, D., & Prade, H. (2015). Formal concept analysis from the standpoint of possibility theory. In J. Baixeries, C. Sacarea, & M. Ojeda-Aciego (Eds.), Formal Concept Analysis (ICFCA 2015), LNCS 9113 (pp. 21\u201338). Springer."},{"key":"9765_CR45","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., & Rico, A. (2015). The cube of opposition and the complete appraisal of situations by means of Sugeno integrals. In F. Esposito, et al (Ed.), Foundations of intelligent systems (ISMIS 2015), LNAI 9384 (pp. 197\u2013207). Springer.","DOI":"10.1007\/978-3-319-25252-0_21"},{"key":"9765_CR46","unstructured":"Dubois, D., Prade, H., & Rico, A. (2015). The cube of opposition \u2013 A structure underlying many knowledge representation formalisms. In Q.\u00a0Yang & M.\u00a0Wooldridge (Eds.), Proceedings of the twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 2933\u20132939). AAAI Press."},{"key":"9765_CR47","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.ijar.2017.02.006","volume":"84","author":"D Dubois","year":"2017","unstructured":"Dubois, D., Prade, H., & Rico, A. (2017). Graded cubes of opposition and possibility theory with fuzzy events. International Journal of Approximate Reasoning, 84, 168\u2013185.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9765_CR48","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-40314-4_2","volume-title":"Granular, soft and fuzzy approaches for intelligent systems","author":"D Dubois","year":"2017","unstructured":"Dubois, D., Prade, H., & Rico, A. (2017). Organizing families of aggregation operators into a cube of opposition. In J. Kacprzyk, D. Filev, & G. Beliakov (Eds.), Granular, soft and fuzzy approaches for intelligent systems (pp. 27\u201345). Springer."},{"key":"9765_CR49","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s11787-020-00241-6","volume":"14","author":"D Dubois","year":"2020","unstructured":"Dubois, D., Prade, H., & Rico, A. (2020). Structures of opposition and comparisons: Boolean and gradual cases. Logica Universalis, 14, 115\u2013149.","journal-title":"Logica Universalis"},{"issue":"471","key":"9765_CR50","first-page":"1","volume":"12","author":"S Frijters","year":"2023","unstructured":"Frijters, S., & Demey, L. (2023). The modal logic of Aristotelian diagrams. Axioms, 12(471), 1\u201326.","journal-title":"Axioms"},{"key":"9765_CR51","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00372546","volume":"46","author":"S Furs","year":"1987","unstructured":"Furs, S. (1987). Computation of Aristotle\u2019s and Gergonne\u2019s syllogisms. Studia Logica, 46, 209\u2013225.","journal-title":"Studia Logica"},{"key":"9765_CR52","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-45062-9_15","volume-title":"The square of opposition: A cornerstone of thought","author":"JD Garc\u00eda-Cruz","year":"2017","unstructured":"Garc\u00eda-Cruz, J. D. (2017). From the square to octahedra. In J.-Y. B\u00e9ziau & G. Basti (Eds.), The square of opposition: A cornerstone of thought (pp. 253\u2013272). Springer."},{"key":"9765_CR53","volume-title":"Introduction to Boolean Algebras","author":"S Givant","year":"2009","unstructured":"Givant, S., & Halmos, P. (2009). Introduction to Boolean Algebras. Springer."},{"key":"9765_CR54","first-page":"547","volume":"15","author":"PV Grosjean","year":"1972","unstructured":"Grosjean, P. V. (1972). Th\u00e9orie alg\u00e9brique du syllogisme cat\u00e9gorique. Logique et Analyse, 15, 547\u2013568.","journal-title":"Logique et Analyse"},{"key":"9765_CR55","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1305\/ndjfl\/1093891793","volume":"16","author":"EA Hacker","year":"1975","unstructured":"Hacker, E. A. (1975). The octagon of opposition. Notre Dame Journal of Formal Logic, 16, 352\u2013353.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9765_CR56","unstructured":"Hamblin, C. L. (1967). Elementary formal logic. A programmed course. Methuen."},{"key":"9765_CR57","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-030-90823-2_7","volume-title":"The exoteric square of opposition","author":"A-S Heinemann","year":"2022","unstructured":"Heinemann, A.-S., & Demey, L. (2022). Augustus de Morgan\u2019s unpublished octagon of opposition. In J.-Y. Beziau & I. Vandoulakis (Eds.), The exoteric square of opposition (pp. 141\u2013169). Springer."},{"key":"9765_CR58","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11787-018-0187-6","volume":"12","author":"W Hodges","year":"2018","unstructured":"Hodges, W. (2018). Two early Arabic applications of model-theoretic consequence. Logica Universalis, 12, 37\u201354.","journal-title":"Logica Universalis"},{"key":"9765_CR59","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11229-013-0278-0","volume":"190","author":"WH Holliday","year":"2013","unstructured":"Holliday, W. H., Hoshi, T., & Icard, T. F., III. (2013). Information dynamics and uniform substitution. Synthese, 190, 31\u201355.","journal-title":"Synthese"},{"key":"9765_CR60","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1111\/phpe.12021","volume":"27","author":"L Humberstone","year":"2013","unstructured":"Humberstone, L. (2013). Logical relations. Philosophical Perspectives, 27, 175\u2013230.","journal-title":"Philosophical Perspectives"},{"key":"9765_CR61","first-page":"145","volume":"6","author":"J Joerden","year":"1998","unstructured":"Joerden, J. (1998). On the logic of supererogation. Jahrbuch f\u00fcr Recht und Ethik, 6, 145\u2013159.","journal-title":"Jahrbuch f\u00fcr Recht und Ethik"},{"key":"9765_CR62","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11787-012-0041-1","volume":"6","author":"J Joerden","year":"2012","unstructured":"Joerden, J. (2012). Deontological square, hexagon, and decagon: A deontic framework for supererogation. Logica Universalis, 6, 201\u2013216.","journal-title":"Logica Universalis"},{"key":"9765_CR63","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1023\/A:1004225124213","volume":"26","author":"F Johnson","year":"1997","unstructured":"Johnson, F. (1997). Extended Gergonne syllogisms. Journal of Philosophical Logic, 26, 553\u2013567.","journal-title":"Journal of Philosophical Logic"},{"key":"9765_CR64","unstructured":"Johnson, W. E. (1921). Logic. Part I: Cambridge University Press."},{"key":"9765_CR65","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1163\/003188610X12589452898804","volume":"55","author":"RE Jones","year":"2010","unstructured":"Jones, R. E. (2010). Truth and contradiction in Aristotle\u2019s De Interpretatione 6\u20139. Phronesis, 55, 26\u201367.","journal-title":"Phronesis"},{"key":"9765_CR66","first-page":"36","volume-title":"Deontic logic: Introductory and systematic readings","author":"S Kanger","year":"1971","unstructured":"Kanger, S. (1971). New foundations for ethical theory. In R. Hilpinen (Ed.), Deontic logic: Introductory and systematic readings (pp. 36\u201358). Reidel."},{"key":"9765_CR67","doi-asserted-by":"crossref","unstructured":"Kennedy, R. (1985). Lemmon on logical relations. Analysis, 45, 89\u201393.","DOI":"10.1093\/analys\/45.1.89"},{"key":"9765_CR68","volume-title":"Studies and exercises in formal logic (Third Edition)","author":"JN Keynes","year":"1894","unstructured":"Keynes, J. N. (1894). Studies and exercises in formal logic (Third Edition). MacMillan."},{"key":"9765_CR69","volume-title":"Studies and exercises in formal logic (Fourth Edition)","author":"JN Keynes","year":"1906","unstructured":"Keynes, J. N. (1906). Studies and exercises in formal logic (Fourth Edition). MacMillan."},{"key":"9765_CR70","unstructured":"Lemmon, E.\u00a0J. (1965). Beginning logic. Thomas Nelson and Sons Ltd."},{"key":"9765_CR71","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-0348-0379-3_20","volume-title":"Around and beyond the square of opposition","author":"T Libert","year":"2012","unstructured":"Libert, T. (2012). Hypercubes of duality. In J.-Y. B\u00e9ziau & D. Jacquette (Eds.), Around and beyond the square of opposition (pp. 293\u2013301). Springer."},{"key":"9765_CR72","doi-asserted-by":"crossref","unstructured":"Lindahl, L. (1977). Position and change. A study in law and logic. Reidel.","DOI":"10.1007\/978-94-010-1202-7"},{"key":"9765_CR73","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1163\/156852884X00139","volume":"29","author":"D Londey","year":"1984","unstructured":"Londey, D., & Johanson, C. (1984). Apuleius and the square of opposition. Phronesis, 29, 165\u2013173.","journal-title":"Phronesis"},{"key":"9765_CR74","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-319-52869-4_6","volume-title":"The significance of the Lvov-Warsaw School in the European culture","author":"D \u0141ukasiewicz","year":"2017","unstructured":"\u0141ukasiewicz, D. (2017). The Brentanian inspirations in Tadeusz Cze\u017cowski\u2019s philosophy. In A. Bro\u017cek, F. Stadler, & J. Wole\u0144ski (Eds.), The significance of the Lvov-Warsaw School in the European culture (pp. 79\u201392). Springer."},{"key":"9765_CR75","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson, D. (1986). On the formal representation of rights relations. Journal of Philosophical Logic, 15, 403\u2013425.","journal-title":"Journal of Philosophical Logic"},{"key":"9765_CR76","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-06164-7","volume-title":"A guided tour of artificial intelligence research: Volume I: Knowledge representation, reasoning and learning","author":"P Marquis","year":"2020","unstructured":"Marquis, P., Papini, O., & Prade, H. (2020). Elements for a history of artificial intelligence. In P. Marquis, O. Papini, & H. Prade (Eds.), A guided tour of artificial intelligence research: Volume I: Knowledge representation, reasoning and learning (pp. 1\u201343). Springer."},{"key":"9765_CR77","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00370674","volume":"57","author":"J McNamara","year":"1996","unstructured":"McNamara, J. (1996). Doing well enough: Toward a logic for common-sense morality. Studia Logica, 57, 167\u2013192.","journal-title":"Studia Logica"},{"key":"9765_CR78","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1093\/mind\/105.419.415","volume":"105","author":"J McNamara","year":"1996","unstructured":"McNamara, J. (1996). Making room for going beyond the call. Mind, 105, 415\u2013450.","journal-title":"Mind"},{"key":"9765_CR79","unstructured":"Menne, A. (1954). Logik und Existenz. Westkulturverlag Anton Hain."},{"key":"9765_CR80","doi-asserted-by":"crossref","unstructured":"Menne, A. (Ed.) (1962). Logico-Philosophical Studies. Reidel.","DOI":"10.1007\/978-94-010-3649-8"},{"key":"9765_CR81","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1080\/01445340.2022.2143711","volume":"44","author":"A Moktefi","year":"2023","unstructured":"Moktefi, A., & Schang, F. (2023). Another side of categorical propositions: The Keynes-Johnson octagon of oppositions. History and Philosophy of Logic, 44, 459\u2013475.","journal-title":"History and Philosophy of Logic"},{"key":"9765_CR82","doi-asserted-by":"crossref","unstructured":"Moktefi, A., & Shin, S.-J. (2012). A history of logic diagrams. In D.\u00a0M. Gabbay, F.\u00a0J. Pelletier, & J.\u00a0Woods (Eds.), Handbook of the history of logic. Volume 11. Logic: A history of its central concepts (pp. 611\u2013682). North-Holland.","DOI":"10.1016\/B978-0-444-52937-4.50011-3"},{"key":"9765_CR83","unstructured":"Moretti, A. (2009). The Geometry of Logical Opposition. PhD thesis, University of Neuch\u00e2tel."},{"key":"9765_CR84","doi-asserted-by":"crossref","unstructured":"Parsons, T. (2008). The development of supposition theory in the later 12th through 14th centuries. In D.\u00a0M. Gabbay, & J.\u00a0Woods (Eds.), Handbook of the history of logic. Volume 2: Mediaeval and Renaissance logic (pp. 157\u2013280). North-Holland.","DOI":"10.1016\/S1874-5857(08)80025-8"},{"key":"9765_CR85","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199688845.001.0001","volume-title":"Articulating Medieval Logic","author":"T Parsons","year":"2014","unstructured":"Parsons, T. (2014). Articulating Medieval Logic. Oxford University Press."},{"key":"9765_CR86","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.ijar.2017.05.014","volume":"88","author":"N Pfeifer","year":"2017","unstructured":"Pfeifer, N., & Sanfilippo, G. (2017). Probabilistic squares and hexagons of opposition under coherence. International Journal of Approximate Reasoning, 88, 282\u2013294.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9765_CR87","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s11787-016-0142-3","volume":"10","author":"C Pizzi","year":"2016","unstructured":"Pizzi, C. (2016). Generalization and composition of modal squares of opposition. Logica Universalis, 10, 313\u2013325.","journal-title":"Logica Universalis"},{"key":"9765_CR88","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1353\/frc.1953.0045","volume":"13","author":"AN Prior","year":"1953","unstructured":"Prior, A. N. (1953). The logic of negative terms in Boethius. Franciscan Studies, 13, 1\u20136.","journal-title":"Franciscan Studies"},{"key":"9765_CR89","volume-title":"Formal Logic","author":"AN Prior","year":"1955","unstructured":"Prior, A. N. (1955). Formal Logic. Clarendon Press."},{"key":"9765_CR90","doi-asserted-by":"publisher","first-page":"459","DOI":"10.12775\/LLP.2023.017","volume":"32","author":"V Pun\u010doch\u00e1\u0159","year":"2023","unstructured":"Pun\u010doch\u00e1\u0159, V. (2023). Logical forms, substitutions and information types. Logic and Logical Philosophy, 32, 459\u2013473.","journal-title":"Logic and Logical Philosophy"},{"key":"9765_CR91","unstructured":"Raab, J. (2016). The relationship of QUARC and classical logic. Master\u2019s thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen."},{"key":"9765_CR92","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1086\/287171","volume":"19","author":"H Reichenbach","year":"1952","unstructured":"Reichenbach, H. (1952). The syllogism revised. Philosophy of Science, 19, 1\u201316.","journal-title":"Philosophy of Science"},{"key":"9765_CR93","unstructured":"Roelandt, K. (2016). Most or the Art of Compositionality. Dutch de\/het meeste at the Syntax-Semantics Interface. LOT Publications."},{"key":"9765_CR94","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1093\/mind\/LXVI.263.331","volume":"66","author":"T Rose","year":"1957","unstructured":"Rose, T. (1957). The contradictory function. Mind, 66, 331\u2013350.","journal-title":"Mind"},{"key":"9765_CR95","doi-asserted-by":"publisher","first-page":"3473","DOI":"10.1007\/s11229-015-0900-4","volume":"193","author":"Z Rybar\u0306\u00edkov\u00e1","year":"2016","unstructured":"Rybar\u0306\u00edkov\u00e1, Z. (2016). Prior on Aristotle\u2019s logical squares. Synthese, 193, 3473\u20133482.","journal-title":"Synthese"},{"key":"9765_CR96","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1017\/S0012217300022411","volume":"15","author":"P Sauriol","year":"1976","unstructured":"Sauriol, P. (1976). La structure t\u00e9trahexa\u00e9drique du syst\u00e8me complet ses propositions cat\u00e9goriques. Dialogue, 15, 479\u2013501.","journal-title":"Dialogue"},{"key":"9765_CR97","unstructured":"Schurz, G. (2001). Rudolf Carnap\u2019s modal logic. In W.\u00a0Stelzner, & M.\u00a0St\u00f6ckler (Eds.), Zwischen traditioneller und moderner Logik. Nicht-klassische Ans\u00e4tze (pp. 365\u2013380). Mentis."},{"key":"9765_CR98","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M Sergot","year":"2001","unstructured":"Sergot, M. (2001). A computational theory of normative positions. ACM Transactions on Computational Logic, 2, 581\u2013622.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9765_CR99","first-page":"353","volume-title":"Handbook of deontic logic and normative systems","author":"M Sergot","year":"2013","unstructured":"Sergot, M. (2013). Normative positions. In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, & L. van der Torre (Eds.), Handbook of deontic logic and normative systems (pp. 353\u2013406). College Publications."},{"key":"9765_CR100","doi-asserted-by":"crossref","unstructured":"Smessaert, H., & Demey, L. (2014). Logical geometries and information in the square of oppositions. Journal of Logic, Language and Information, 23, 527\u2013565.","DOI":"10.1007\/s10849-014-9207-y"},{"key":"9765_CR101","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/axioms12030236","volume":"12","author":"H Smessaert","year":"2023","unstructured":"Smessaert, H., & Demey, L. (2023). Aristotelian diagrams for the proportional quantifier \u2018most\u2019. Axioms, 12, 1\u201313.","journal-title":"Axioms"},{"key":"9765_CR102","unstructured":"Stebbing, L. S. (1930). A modern introduction to logic. Methuen."},{"key":"9765_CR103","unstructured":"Stebbing, L. S. (1934). Logic in practice. Methuen."},{"key":"9765_CR104","doi-asserted-by":"crossref","unstructured":"Thomas, I. (1949). CS(n): an extension of CS. Dominican Studies, 2, 145\u2013160. Reprinted in Menne (1962, pp.\u00a040\u201354).","DOI":"10.1007\/978-94-010-3649-8_3"},{"key":"9765_CR105","volume-title":"Dynamic Epistemic Logic","author":"HP van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. P. (2007). Dynamic Epistemic Logic. Springer."},{"key":"9765_CR106","unstructured":"Veltman, F. (1985). Logics for conditionals. PhD thesis, University of Amsterdam."},{"key":"9765_CR107","unstructured":"Wilkinson Miller, J. (1938). The structure of Aristotelian logic. Kegan Paul."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09765-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-024-09765-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09765-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T11:13:51Z","timestamp":1728040431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-024-09765-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":107,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["9765"],"URL":"https:\/\/doi.org\/10.1007\/s10992-024-09765-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2024,6,24]]},"assertion":[{"value":"21 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 June 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"Not applicable","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed Consent"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}