{"id":"https://openalex.org/W2051649506","doi":"https://doi.org/10.1093/logcom/exl026","title":"Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA","display_name":"Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA","publication_year":2006,"publication_date":"2006-09-23","ids":{"openalex":"https://openalex.org/W2051649506","doi":"https://doi.org/10.1093/logcom/exl026","mag":"2051649506"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exl026","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exl026","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5037378549","display_name":"Willem Conradie","orcid":"https://orcid.org/0000-0001-9906-4132"},"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":false,"raw_author_name":"W. Conradie","raw_affiliation_strings":["Department of Mathematics, University of Johannesburg and School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa","Department of Mathematics, University of Johannesburg and School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa. E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Johannesburg and School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa","institution_ids":["https://openalex.org/I192619145"]},{"raw_affiliation_string":"Department of Mathematics, University of Johannesburg and School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa. E-mail:","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066665696","display_name":"Valentin Goranko","orcid":"https://orcid.org/0000-0002-0157-1644"},"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":"V. Goranko","raw_affiliation_strings":["School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa","School of Mathematics University of the Witwatersrand  Johannesburg South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, University of the Witwatersrand, Johannesburg, South Africa","institution_ids":["https://openalex.org/I192619145"]},{"raw_affiliation_string":"School of Mathematics University of the Witwatersrand  Johannesburg South Africa","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076246494","display_name":"Dimiter Vakarelov","orcid":null},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"D. Vakarelov","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria","Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria. E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria. E-mail:","institution_ids":["https://openalex.org/I58918642"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066665696"],"corresponding_institution_ids":["https://openalex.org/I192619145"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.3434,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.92567753,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"16","issue":"5","first_page":"579","last_page":"612"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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.998199999332428,"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.9846000075340271,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9502000212669373,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/correctness","display_name":"Correctness","score":0.7498970627784729},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6994677782058716},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.6426828503608704},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5702757239341736},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5418004393577576},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.528301477432251},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.5181849598884583},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5104245543479919},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.49131694436073303},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.41309329867362976},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3815627098083496},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.3721882700920105},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37186944484710693},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.32399117946624756},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.319668710231781},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3026283383369446},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14977237582206726},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12154436111450195}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7498970627784729},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6994677782058716},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6426828503608704},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5702757239341736},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5418004393577576},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.528301477432251},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.5181849598884583},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5104245543479919},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.49131694436073303},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.41309329867362976},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3815627098083496},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3721882700920105},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37186944484710693},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32399117946624756},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.319668710231781},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3026283383369446},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14977237582206726},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12154436111450195},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"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/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exl026","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exl026","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.706.2649","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.706.2649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www2.imm.dtu.dk/%7Evfgo/papers/JANCL-Algorithmic%20correspondence%20and%20completeness%20in%20modal%20logic.%20IV.%20Semantic%20extensions%20of%20SQEMA.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6299999952316284,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W4147469","https://openalex.org/W57599773","https://openalex.org/W285264636","https://openalex.org/W1522802449","https://openalex.org/W1536469384","https://openalex.org/W1558518027","https://openalex.org/W1572523058","https://openalex.org/W1582039021","https://openalex.org/W1728675562","https://openalex.org/W1981936535","https://openalex.org/W1989151171","https://openalex.org/W1998532035","https://openalex.org/W2033136385","https://openalex.org/W2048154108","https://openalex.org/W2057503265","https://openalex.org/W2126382654","https://openalex.org/W2144185328","https://openalex.org/W2225187755","https://openalex.org/W2610670723","https://openalex.org/W2950450725"],"related_works":["https://openalex.org/W3126675290","https://openalex.org/W142011187","https://openalex.org/W3108798275","https://openalex.org/W4318188140","https://openalex.org/W2795425183","https://openalex.org/W2175984923","https://openalex.org/W2534562289","https://openalex.org/W1909183225","https://openalex.org/W1530784265","https://openalex.org/W2028312452"],"abstract_inverted_index":{"In":[0],"Conradie,":[1],"Goranko,":[2],"and":[3,22,41,46,62,74,89,97,99,108,137],"Vakarelov":[4,90,100],"(2006,":[5,101],"Logical":[6],"Methods":[7],"in":[8,87,144],"Computer":[9],"Science,":[10],"2)":[11],"we":[12,35],"introduced":[13,86],"a":[14],"new":[15],"algorithm,":[16,56],"\u2060,":[17,37],"for":[18],"computing":[19],"first-order":[20],"equivalents":[21],"proving":[23],"the":[24,30,55,72,82,109,117,121],"canonicity":[25],"of":[26,29,71,116],"modal":[27,32,44],"formulae":[28,85,118,136],"basic":[31],"language.":[33],"Here":[34],"extend":[36],"first":[38],"to":[39,48,68,81,113,128,132,141],"arbitrary":[40],"reversive":[42,146],"polyadic":[43,50,83,135,147],"languages,":[45],"then":[47],"hybrid":[49,133,145],"languages":[51],"too.":[52],"We":[53],"present":[54],"illustrate":[57],"it":[58],"with":[59,66,79,130],"some":[60],"examples,":[61],"prove":[63],"its":[64,77],"correctness":[65],"respect":[67,80,112,131,140],"local":[69],"equivalence":[70],"input":[73],"output":[75],"formulae,":[76],"completeness":[78,129],"inductive":[84,134],"Goranko":[88,98],"(2001,":[91],"J.":[92],"Logic.":[93],"Comput.,":[94],"11,":[95],"737\u2013754)":[96],"Ann.":[102],"Pure.":[103],"Appl.":[104],"Logic,":[105],"141,":[106],"180\u2013217),":[107],"d-persistence":[110],"(with":[111,139],"descriptive":[114],"frames)":[115,143],"on":[119],"which":[120],"algorithm":[122],"succeeds.":[123],"These":[124],"results":[125],"readily":[126],"expand":[127],"di-persistence":[138],"discrete":[142],"languages.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}