{"id":"https://openalex.org/W3011450759","doi":"https://doi.org/10.1007/s11225-020-09901-6","title":"Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability","display_name":"Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability","publication_year":2020,"publication_date":"2020-03-17","ids":{"openalex":"https://openalex.org/W3011450759","doi":"https://doi.org/10.1007/s11225-020-09901-6","mag":"3011450759"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-020-09901-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09901-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09901-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09901-6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004744294","display_name":"Frederik Van De Putte","orcid":"https://orcid.org/0000-0001-6828-0107"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I54009628","display_name":"University of Bayreuth","ror":"https://ror.org/0234wmv40","country_code":"DE","type":"education","lineage":["https://openalex.org/I54009628"]}],"countries":["BE","DE"],"is_corresponding":true,"raw_author_name":"Frederik Van\u00a0De Putte","raw_affiliation_strings":["Department of Philosophy and Moral Science, Ghent University, Blandijnberg 2, 9000, Ghent, Belgium","Philosophy Department, University of Bayreuth, Universit\u00e4tsstra\u00dfe 30, 95447, Bayreuth, Germany","Department of Philosophy and Moral Science, Ghent University, Ghent, Belgium","Philosophy Department, University of Bayreuth, Bayreuth, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy and Moral Science, Ghent University, Blandijnberg 2, 9000, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Philosophy Department, University of Bayreuth, Universit\u00e4tsstra\u00dfe 30, 95447, Bayreuth, Germany","institution_ids":["https://openalex.org/I54009628"]},{"raw_affiliation_string":"Department of Philosophy and Moral Science, Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Philosophy Department, University of Bayreuth, Bayreuth, Germany","institution_ids":["https://openalex.org/I54009628"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026110081","display_name":"Dominik Klein","orcid":"https://orcid.org/0000-0002-7743-8399"},"institutions":[{"id":"https://openalex.org/I54009628","display_name":"University of Bayreuth","ror":"https://ror.org/0234wmv40","country_code":"DE","type":"education","lineage":["https://openalex.org/I54009628"]},{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Klein","raw_affiliation_strings":["Philosophy Department, University of Bayreuth, Universit\u00e4tsstra\u00dfe 30, 95447, Bayreuth, Germany","Political Science Department, University of Bamberg, Feldkirchenstra\u00dfe 21, 96052, Bamberg, Germany","Philosophy Department, University of Bayreuth, Bayreuth, Germany","Political Science Department, University of Bamberg, Bamberg, Germany"],"affiliations":[{"raw_affiliation_string":"Philosophy Department, University of Bayreuth, Universit\u00e4tsstra\u00dfe 30, 95447, Bayreuth, Germany","institution_ids":["https://openalex.org/I54009628"]},{"raw_affiliation_string":"Political Science Department, University of Bamberg, Feldkirchenstra\u00dfe 21, 96052, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]},{"raw_affiliation_string":"Philosophy Department, University of Bayreuth, Bayreuth, Germany","institution_ids":["https://openalex.org/I54009628"]},{"raw_affiliation_string":"Political Science Department, University of Bamberg, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5004744294"],"corresponding_institution_ids":["https://openalex.org/I32597200","https://openalex.org/I54009628"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.2706,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62596089,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"109","issue":"1","first_page":"47","last_page":"93"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pointwise","display_name":"Pointwise","score":0.7097169160842896},{"id":"https://openalex.org/keywords/modalities","display_name":"Modalities","score":0.6584432125091553},{"id":"https://openalex.org/keywords/pooling","display_name":"Pooling","score":0.6221457123756409},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6063545942306519},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.551387369632721},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5373887419700623},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5257207751274109},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.44432365894317627},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4323360323905945},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36024153232574463},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3540763854980469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3481510877609253},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3274509012699127},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2657339870929718},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2175564169883728},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1445481777191162}],"concepts":[{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.7097169160842896},{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.6584432125091553},{"id":"https://openalex.org/C70437156","wikidata":"https://www.wikidata.org/wiki/Q7228652","display_name":"Pooling","level":2,"score":0.6221457123756409},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6063545942306519},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.551387369632721},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5373887419700623},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5257207751274109},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.44432365894317627},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4323360323905945},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36024153232574463},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3540763854980469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3481510877609253},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3274509012699127},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2657339870929718},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2175564169883728},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1445481777191162},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s11225-020-09901-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09901-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09901-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:8758087","is_oa":false,"landing_page_url":"https://biblio.ugent.be/publication/8758087","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journalArticle"},{"id":"pmh:oai:epub.uni-bayreuth.de:5092","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400362","display_name":"EPub Bayreuth (University of Bayreuth)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I54009628","host_organization_name":"University of Bayreuth","host_organization_lineage":["https://openalex.org/I54009628"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Artikel in einer Zeitschrift"},{"id":"pmh:oai:archive.ugent.be:8688075","is_oa":true,"landing_page_url":"https://biblio.ugent.be/publication/8688075","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1572-8730","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dspace.library.uu.nl:1874/417360","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/417360","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"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":"","raw_type":"Article"},{"id":"pmh:oai:eref.uni-bayreuth.de:57691","is_oa":false,"landing_page_url":"https://eref.uni-bayreuth.de/57691/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196442","display_name":"ERef Bayreuth (University of Bayreuth)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I54009628","host_organization_name":"University of Bayreuth","host_organization_lineage":["https://openalex.org/I54009628"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel in einer Zeitschrift"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/418683","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/418683","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Studia Logica, 109(1), 47. Springer Netherlands","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s11225-020-09901-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09901-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09901-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8553395378","display_name":null,"funder_award_id":"795329","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3011450759.pdf","grobid_xml":"https://content.openalex.org/works/W3011450759.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1596067335","https://openalex.org/W1972560931","https://openalex.org/W2075912770","https://openalex.org/W2085158502","https://openalex.org/W2491369160","https://openalex.org/W2768154882","https://openalex.org/W2798278639","https://openalex.org/W4211144022","https://openalex.org/W4242309855"],"related_works":["https://openalex.org/W2953234277","https://openalex.org/W2140020064","https://openalex.org/W143502885","https://openalex.org/W2626256601","https://openalex.org/W2900413183","https://openalex.org/W4390975304","https://openalex.org/W147410782","https://openalex.org/W42113618","https://openalex.org/W2069165070","https://openalex.org/W1971653407"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"establish":[2],"completeness":[3],"and":[4,22,26,31,66],"the":[5,12,59,68,72,84],"finite":[6],"model":[7],"property":[8],"for":[9,71],"logics":[10,62],"featuring":[11],"pooling":[13,64],"modalities":[14,25,65],"that":[15],"were":[16],"introduced":[17],"in":[18],"Van":[19],"De":[20],"Putte":[21],"Klein":[23],"(Pooling":[24],"pointwise":[27],"intersection:":[28],"semantics,":[29],"expressivity,":[30],"applications).":[32],"The":[33],"definition":[34],"of":[35,74],"our":[36],"canonical":[37],"models":[38],"combines":[39],"standard":[40],"techniques":[41],"with":[42,63],"a":[43],"so-called":[44],"\u201cpuzzle":[45],"piece":[46],"construction\u201d,":[47],"which":[48],"we":[49,55],"first":[50],"illustrate":[51],"informally.":[52],"After":[53],"that,":[54],"apply":[56],"it":[57],"to":[58],"weakest":[60],"classical":[61],"investigate":[67],"technique\u2019s":[69],"potential":[70],"axiomatization":[73],"stronger":[75],"logics,":[76],"obtained":[77],"by":[78],"imposing":[79],"well-known":[80],"frame":[81],"conditions":[82],"on":[83],"models.":[85]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}