{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T00:56:15Z","timestamp":1780707375772,"version":"3.54.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031152979","type":"print"},{"value":"9783031152986","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15298-6_21","type":"book-chapter","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T08:55:10Z","timestamp":1662627310000},"page":"326-343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Subordination Algebras as\u00a0Semantic Environment of Input\/Output Logic"],"prefix":"10.1007","author":[{"given":"Andrea","family":"De Domenico","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Farjami","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krishna","family":"Manoorkar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mattia","family":"Panettiere","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaolong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,9]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7118-9","volume-title":"Normative Systems","author":"C Alchourr\u00f3n","year":"1971","unstructured":"Alchourr\u00f3n, C., Bulygin, E.: Normative Systems. Springer, Wien, New York (1971)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Benedetto, D., Gottlob, G., Sallinger, E.: Vadalog: a modern architecture for automated reasoning with large knowledge graphs. Inf. Syst. 105, 101528 (2020)","DOI":"10.1016\/j.is.2020.101528"},{"issue":"5","key":"21_CR3","first-page":"715","volume":"6","author":"C Benzm\u00fcller","year":"2019","unstructured":"Benzm\u00fcller, C., Farjami, A., Meder, P., Parent, X.: I\/O logic in HOL. J. Appl. Log. - IfCoLoG J. Log. Appl. (Spec. Issue Reason. Legal AI) 6(5), 715\u2013732 (2019)","journal-title":"J. Appl. Log. - IfCoLoG J. Log. Appl. (Spec. Issue Reason. Legal AI)"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s10485-016-9434-2","volume":"25","author":"G Bezhanishvili","year":"2017","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., Venema, Y.: Irreducible equivalence relations, Gleason spaces, and de Vries duality. Appl. Categorical Struct. 25(3), 381\u2013401 (2017)","journal-title":"Appl. Categorical Struct."},{"key":"21_CR5","unstructured":"Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004). Proceedings of 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), vol. 4, pp. 255\u2013265. AAAI Press (2004)"},{"issue":"4","key":"21_CR6","doi-asserted-by":"publisher","first-page":"721","DOI":"10.21136\/MB.2001.134115","volume":"126","author":"S Celani","year":"2001","unstructured":"Celani, S.: Quasi-modal algebras. Math. Bohemica 126(4), 721\u2013736 (2001)","journal-title":"Math. Bohemica"},{"key":"21_CR7","unstructured":"Celani, S.: Precontact relations and quasi-modal operators in Boolean algebras. ACTAS DEL XIII CONGRESO DR. ANTONIO A. R. MONTEIRO XIII, pp. 63\u201379 (2016)"},{"key":"21_CR8","doi-asserted-by":"publisher","unstructured":"Celani, S.: Subordinations on bounded distributive lattices. Order (2022). https:\/\/doi.org\/10.1007\/s11083-021-09580-5","DOI":"10.1007\/s11083-021-09580-5"},{"key":"21_CR9","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1007\/978-3-319-06025-5_36","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"W Conradie","year":"2014","unstructured":"Conradie, W., Ghilardi, S., Palmigiano, A.: Unified correspondence. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 933\u2013975. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06025-5_36"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.apal.2011.10.004","volume":"163","author":"W Conradie","year":"2012","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163(3), 338\u2013376 (2012)","journal-title":"Ann. Pure Appl. Log."},{"issue":"9","key":"21_CR11","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.apal.2019.04.003","volume":"170","author":"W Conradie","year":"2019","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. 170(9), 923\u2013974 (2019)","journal-title":"Ann. Pure Appl. Log."},{"key":"21_CR12","unstructured":"Conradie, W., Palmigiano, A.: Constructive canonicity of inductive inequalities. Log. Methods Comput. Sci. 16, 8:1\u20138:39 (2020)"},{"key":"21_CR13","unstructured":"De Rudder, L., Hansoul, G., Stetenfeld, V.: Subordination algebras in modal logic. arXiv preprint arXiv:2004.14919 (2020)"},{"issue":"3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3460973","volume":"22","author":"L De Rudder","year":"2021","unstructured":"De Rudder, L., Palmigiano, A.: Slanted canonicity of analytic inductive inequalities. ACM Trans. Comput. Log. (TOCL) 22(3), 1\u201341 (2021)","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11734673_1","volume-title":"Relational Methods in Computer Science","author":"G Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Topological representation of precontact algebras. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol. 3929, pp. 1\u201316. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11734673_1"},{"issue":"3","key":"21_CR16","doi-asserted-by":"publisher","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3), 713\u2013740 (2005)","journal-title":"J. Symb. Log."},{"key":"21_CR17","unstructured":"Farjami, A.: Discursive input\/output logic: deontic modals, and computation. Ph.D. thesis, University of Luxembourg, Luxembourg (2020)"},{"key":"21_CR18","unstructured":"Farjami, A.: New algebraic normative theories for ethical and legal reasoning in the LogiKEy framework. arXiv preprint arXiv:2107.11838 (2021)"},{"issue":"1","key":"21_CR19","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"JM Font","year":"2003","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Stud. Log. 74(1), 13\u201397 (2003)","journal-title":"Stud. Log."},{"key":"21_CR20","unstructured":"Gabbay, D., Parent, X., van der Torre, L.: A geometrical view of I\/O logic. arXiv preprint arXiv:1911.12837 (2019)"},{"issue":"7","key":"21_CR21","first-page":"1367","volume":"28","author":"G Greco","year":"2018","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28(7), 1367\u20131442 (2018)","journal-title":"J. Log. Comput."},{"key":"21_CR22","first-page":"63","volume":"41","author":"R Jansana","year":"2006","unstructured":"Jansana, R., Palmigiano, A.: Referential semantics: duality and applications. Rep. Math. Log. 41, 63\u201393 (2006)","journal-title":"Rep. Math. Log."},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-86059-2_9","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"B Lellmann","year":"2021","unstructured":"Lellmann, B.: From input\/output logics to conditional logics via sequents \u2013 with provers. In: Das, A., Negri, S. (eds.) TABLEAUX 2021. LNCS (LNAI), vol. 12842, pp. 147\u2013164. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86059-2_9"},{"key":"21_CR24","unstructured":"Lindahl, L., Odelstad, J.: The theory of joining-systems. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 545\u2013634. College Publications (2013)"},{"issue":"4","key":"21_CR25","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input\/output logics. J. Philos. Log. 29(4), 383\u2013408 (2000)","journal-title":"J. Philos. Log."},{"issue":"2","key":"21_CR26","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input\/output logics. J. Philos. Log. 30(2), 155\u2013185 (2001)","journal-title":"J. Philos. Log."},{"issue":"4","key":"21_CR27","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permission from an input\/output perspective. J. Philos. Log. 32(4), 391\u2013416 (2003)","journal-title":"J. Philos. Log."},{"key":"21_CR28","unstructured":"Olszewski, M., Parent, X., van der Torre, L.: Input\/output logic with a consistency check-the case of permission. In: Liu, F., Marra, A., Portner, P., Putte, F.V.D. (eds.) Deontic Logic and Normative Systems \u2013 15th International Conference, DEON 2020\/2021, Munich, Germany, 21\u201324 July 2021, pp. 358\u2013375. College Publications (2021)"},{"issue":"8","key":"21_CR29","first-page":"2350","volume":"8","author":"X Parent","year":"2021","unstructured":"Parent, X.: A modal translation of an intuitionistic I\/O operation. J. Appl. Log. - IfCoLoG J. Log. Appl. (Spec. Issue Intuition. Modal Log. Appl.) 8(8), 2350\u20132362 (2021)","journal-title":"J. Appl. Log. - IfCoLoG J. Log. Appl. (Spec. Issue Intuition. Modal Log. Appl.)"},{"key":"21_CR30","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-94-007-7759-0_13","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"X Parent","year":"2014","unstructured":"Parent, X., Gabbay, D., Torre, L.: Intuitionistic basis for input\/output logic. In: Hansson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. OCL, vol. 3, pp. 263\u2013286. Springer, Dordrecht (2014). https:\/\/doi.org\/10.1007\/978-94-007-7759-0_13"},{"key":"21_CR31","unstructured":"Parent, X., van der Torre, L.: I\/O logics with a consistency check. In: Broersen, J., Condoravdi, C., Nair, S., Pigozzi, G. (eds.) Deontic Logic and Normative Systems \u2013 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3\u20136 July 2018, pp. 285\u2013299. College Publications (2018)"},{"key":"21_CR32","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10849-019-09309-z","volume":"29","author":"L Robaldo","year":"2019","unstructured":"Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing GDPR provisions in reified I\/O logic: the DAPRECO knowledge base. J. Log. Lang. Inf. 29, 401\u2013449 (2019)","journal-title":"J. Log. Lang. Inf."},{"key":"21_CR33","unstructured":"Steen, A.: Goal-directed decision procedures for input\/output logics. In: Deontic Logic and Normative Systems: 15th International Conference (DEON 2020\/2021), pp. 1\u201313. College Publications (2021)"},{"issue":"3","key":"21_CR34","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.jal.2015.04.002","volume":"13","author":"A Stolpe","year":"2015","unstructured":"Stolpe, A.: A concept approach to input\/output logic. J. Appl. Log. 13(3), 239\u2013258 (2015)","journal-title":"J. Appl. Log."},{"issue":"5","key":"21_CR35","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s11225-016-9656-1","volume":"104","author":"C Stra\u00dfer","year":"2016","unstructured":"Stra\u00dfer, C., Beirlaen, M., van de Putte, F.: Adaptive logic characterizations of input\/output logic. Stud. Log. 104(5), 869\u2013916 (2016)","journal-title":"Stud. Log."},{"issue":"8","key":"21_CR36","doi-asserted-by":"publisher","first-page":"1757","DOI":"10.1093\/logcom\/exv022","volume":"28","author":"X Sun","year":"2018","unstructured":"Sun, X.: Proof theory, semantics and algebra for normative systems. J. Log. Comput. 28(8), 1757\u20131779 (2018)","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15298-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T23:04:23Z","timestamp":1663023863000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15298-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031152979","9783031152986"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15298-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ia\u015fi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28th","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2022.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"08 extra abstracts: 05 invited talks and 03 tutorials","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}