{"id":"https://openalex.org/W4281696444","doi":"https://doi.org/10.1007/978-3-031-15298-6_21","title":"Subordination Algebras as\u00a0Semantic Environment of Input/Output Logic","display_name":"Subordination Algebras as\u00a0Semantic Environment of Input/Output Logic","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4281696444","doi":"https://doi.org/10.1007/978-3-031-15298-6_21"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-15298-6_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-15298-6_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067018249","display_name":"Andrea De Domenico","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Andrea De Domenico","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048066112","display_name":"Ali Farjami","orcid":"https://orcid.org/0000-0002-6817-1012"},"institutions":[{"id":"https://openalex.org/I67009956","display_name":"Iran University of Science and Technology","ror":"https://ror.org/01jw2p796","country_code":"IR","type":"education","lineage":["https://openalex.org/I67009956"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ali Farjami","raw_affiliation_strings":["Iran University of Science and Technology, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iran University of Science and Technology, Tehran, Iran","institution_ids":["https://openalex.org/I67009956"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066244243","display_name":"Krishna Manoorkar","orcid":"https://orcid.org/0000-0003-3664-7757"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Krishna Manoorkar","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047149000","display_name":"Alessandra Palmigiano","orcid":"https://orcid.org/0000-0001-9656-7527"},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Alessandra Palmigiano","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031603467","display_name":"Mattia Panettiere","orcid":"https://orcid.org/0000-0002-9218-5449"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mattia Panettiere","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100424254","display_name":"Xiaolong Wang","orcid":"https://orcid.org/0000-0001-9003-4252"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Xiaolong Wang","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5067018249"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3411,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55414841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"326","last_page":"343"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9807999730110168,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.6100998520851135},{"id":"https://openalex.org/keywords/subordination","display_name":"Subordination (linguistics)","score":0.6092160940170288},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5200178623199463},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.48188501596450806},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.46189773082733154},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.45752203464508057},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4409201145172119},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4380634129047394},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.4192350506782532},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4091394245624542},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.40825164318084717},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35223549604415894},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.31511467695236206},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.24630296230316162},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2357615828514099},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20878183841705322}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6100998520851135},{"id":"https://openalex.org/C2777406531","wikidata":"https://www.wikidata.org/wiki/Q2031017","display_name":"Subordination (linguistics)","level":2,"score":0.6092160940170288},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5200178623199463},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.48188501596450806},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.46189773082733154},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.45752203464508057},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4409201145172119},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4380634129047394},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.4192350506782532},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4091394245624542},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.40825164318084717},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35223549604415894},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.31511467695236206},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.24630296230316162},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2357615828514099},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20878183841705322},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-15298-6_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-15298-6_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"De Domenico, A, Farjami, A, Manoorkar, K, Palmigiano, A, Panettiere, M & Wang, X 2022, Subordination Algebras as\u00a0Semantic Environment of Input/Output Logic. in A Ciabattoni, E Pimentel & R J G B de Queiroz (eds), Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Ia\u0219i, Romania, September 20\u201323, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13468 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 326-343, 28th International Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Ia\u015fi, Romania, 20/09/22. https://doi.org/10.1007/978-3-031-15298-6_21","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"De Domenico, A, Farjami, A, Manoorkar, K, Palmigiano, A, Panettiere, M & Wang, X 2022, Subordination Algebras as\u00a0Semantic Environment of Input/Output Logic. in A Ciabattoni, E Pimentel & R J G B de Queiroz (eds), Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Ia\u0219i, Romania, September 20\u201323, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13468 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 326-343, 28th International Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Ia\u015fi, Romania, 20/09/22. https://doi.org/10.1007/978-3-031-15298-6_21","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"De Domenico, A, Farjami, A, Manoorkar, K, Palmigiano, A, Panettiere, M & Wang, X 2022, Subordination Algebras as\u00a0Semantic Environment of Input/Output Logic. in A Ciabattoni, E Pimentel & R J G B de Queiroz (eds), Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Ia\u0219i, Romania, September 20\u201323, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13468 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 326-343, 28th International Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Ia\u015fi, Romania, 20/09/22. https://doi.org/10.1007/978-3-031-15298-6_21","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4099999964237213,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W15321835","https://openalex.org/W191511039","https://openalex.org/W1554619471","https://openalex.org/W1571517873","https://openalex.org/W1965324703","https://openalex.org/W1970051856","https://openalex.org/W1972417425","https://openalex.org/W1991483240","https://openalex.org/W2006112194","https://openalex.org/W2008443647","https://openalex.org/W2288669826","https://openalex.org/W2335935258","https://openalex.org/W2785885914","https://openalex.org/W2964164692","https://openalex.org/W2991384164","https://openalex.org/W3023603017","https://openalex.org/W3183790100","https://openalex.org/W3198039780","https://openalex.org/W4210424063","https://openalex.org/W4239664074","https://openalex.org/W4242798172","https://openalex.org/W6603769685"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W142011187","https://openalex.org/W2947093719","https://openalex.org/W2118891234","https://openalex.org/W2188462059","https://openalex.org/W3126675290","https://openalex.org/W2175984923","https://openalex.org/W4318188140","https://openalex.org/W2910112965","https://openalex.org/W2276796001"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-18T10:00:31.954636","created_date":"2025-10-10T00:00:00"}