{"id":"https://openalex.org/W2910349479","doi":"https://doi.org/10.1007/s11225-018-09842-1","title":"Complexity of the Universal Theory of Modal Algebras","display_name":"Complexity of the Universal Theory of Modal Algebras","publication_year":2019,"publication_date":"2019-01-17","ids":{"openalex":"https://openalex.org/W2910349479","doi":"https://doi.org/10.1007/s11225-018-09842-1","mag":"2910349479"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-018-09842-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-018-09842-1","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075418855","display_name":"Dmitry Shkatov","orcid":"https://orcid.org/0000-0002-0559-1503"},"institutions":[{"id":"https://openalex.org/I192619145","display_name":"University of the Witwatersrand","ror":"https://ror.org/03rp50x72","country_code":"ZA","type":"education","lineage":["https://openalex.org/I192619145"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Dmitry Shkatov","raw_affiliation_strings":["School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Private Bag 3\u00a0, Wits, 2050, South Africa","School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Wits, South Africa"],"raw_orcid":"https://orcid.org/0000-0002-0559-1503","affiliations":[{"raw_affiliation_string":"School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Private Bag 3\u00a0, Wits, 2050, South Africa","institution_ids":["https://openalex.org/I192619145"]},{"raw_affiliation_string":"School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Wits, South Africa","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000262267","display_name":"C. J. van Alten","orcid":"https://orcid.org/0000-0002-7865-4886"},"institutions":[{"id":"https://openalex.org/I192619145","display_name":"University of the Witwatersrand","ror":"https://ror.org/03rp50x72","country_code":"ZA","type":"education","lineage":["https://openalex.org/I192619145"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Clint J. Van Alten","raw_affiliation_strings":["School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Private Bag 3\u00a0, Wits, 2050, South Africa","School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Wits, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Private Bag 3\u00a0, Wits, 2050, South Africa","institution_ids":["https://openalex.org/I192619145"]},{"raw_affiliation_string":"School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Wits, South Africa","institution_ids":["https://openalex.org/I192619145"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000262267","https://openalex.org/A5075418855"],"corresponding_institution_ids":["https://openalex.org/I192619145"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.8086,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.74052413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"108","issue":"2","first_page":"221","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9987999796867371,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9987999796867371,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969000220298767,"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.9957000017166138,"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/connection","display_name":"Connection (principal bundle)","score":0.6614124178886414},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6477396488189697},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5790098905563354},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5725218057632446},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.522052526473999},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.49564969539642334},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.46731680631637573},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4203948676586151},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.402029812335968},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.3149745762348175},{"id":"https://openalex.org/keywords/non-associative-algebra","display_name":"Non-associative algebra","score":0.2632023096084595},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1267676055431366},{"id":"https://openalex.org/keywords/universal-enveloping-algebra","display_name":"Universal enveloping algebra","score":0.08810725808143616}],"concepts":[{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.6614124178886414},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6477396488189697},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5790098905563354},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5725218057632446},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.522052526473999},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49564969539642334},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.46731680631637573},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4203948676586151},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.402029812335968},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.3149745762348175},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.2632023096084595},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1267676055431366},{"id":"https://openalex.org/C155058155","wikidata":"https://www.wikidata.org/wiki/Q1673406","display_name":"Universal enveloping algebra","level":3,"score":0.08810725808143616},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11225-018-09842-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-018-09842-1","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W82724731","https://openalex.org/W338087933","https://openalex.org/W1182848269","https://openalex.org/W1504635498","https://openalex.org/W1554721881","https://openalex.org/W1556894108","https://openalex.org/W1976154566","https://openalex.org/W2007096790","https://openalex.org/W2028809592","https://openalex.org/W2030473999","https://openalex.org/W2069709605","https://openalex.org/W2073491323","https://openalex.org/W2087334260","https://openalex.org/W2121827343","https://openalex.org/W2135557157","https://openalex.org/W2164389533","https://openalex.org/W2529311106","https://openalex.org/W2535990237","https://openalex.org/W2768154882","https://openalex.org/W2806921937","https://openalex.org/W2892910525","https://openalex.org/W3102909406","https://openalex.org/W4239202159","https://openalex.org/W4251128080","https://openalex.org/W4293176479","https://openalex.org/W6828102672"],"related_works":["https://openalex.org/W2028144918","https://openalex.org/W3016746667","https://openalex.org/W1587059467","https://openalex.org/W2962420748","https://openalex.org/W2109160451","https://openalex.org/W4233254255","https://openalex.org/W1499856794","https://openalex.org/W1539871678","https://openalex.org/W2534562289","https://openalex.org/W4385766735"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}