{"id":"https://openalex.org/W4412173693","doi":"https://doi.org/10.1017/s1755020325100737","title":"RNMATRICES FOR MODAL LOGICS","display_name":"RNMATRICES FOR MODAL LOGICS","publication_year":2025,"publication_date":"2025-07-10","ids":{"openalex":"https://openalex.org/W4412173693","doi":"https://doi.org/10.1017/s1755020325100737"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020325100737","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020325100737","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1017/s1755020325100737","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037312962","display_name":"Marcelo E. Coniglio","orcid":"https://orcid.org/0000-0002-1807-0520"},"institutions":[{"id":"https://openalex.org/I4210088627","display_name":"Institute of Philosophy","ror":"https://ror.org/005gbx671","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210088627","https://openalex.org/I4210120228"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"MARCELO E. CONIGLIO","raw_affiliation_strings":["INSTITUTE OF PHILOSOPHY AND THE HUMANITIES - IFCH AND CENTRE FOR LOGIC EPISTEMOLOGY AND THE HISTORY OF SCIENCE - CLE UNIVERSITY OF CAMPINAS"],"raw_orcid":"https://orcid.org/0000-0002-1807-0520","affiliations":[{"raw_affiliation_string":"INSTITUTE OF PHILOSOPHY AND THE HUMANITIES - IFCH AND CENTRE FOR LOGIC EPISTEMOLOGY AND THE HISTORY OF SCIENCE - CLE UNIVERSITY OF CAMPINAS","institution_ids":["https://openalex.org/I4210088627"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016042560","display_name":"Pawe\u0142 Paw\u0142owski","orcid":"https://orcid.org/0000-0002-4993-6454"},"institutions":[{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"PAWEL PAWLOWSKI","raw_affiliation_strings":["GHENT UNIVERSITY"],"raw_orcid":"https://orcid.org/0000-0002-4993-6454","affiliations":[{"raw_affiliation_string":"GHENT UNIVERSITY","institution_ids":["https://openalex.org/I2801227569"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024752537","display_name":"Daniel Skurt","orcid":"https://orcid.org/0000-0003-0392-0550"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"DANIEL SKURT","raw_affiliation_strings":["INSTITUTE OF PHILOSOPHY I RUHR UNIVERSITY BOCHUM"],"raw_orcid":"https://orcid.org/0000-0003-0392-0550","affiliations":[{"raw_affiliation_string":"INSTITUTE OF PHILOSOPHY I RUHR UNIVERSITY BOCHUM","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5347,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.96283604,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"18","issue":"3","first_page":"744","last_page":"774"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9889000058174133,"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.9889000058174133,"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/T10142","display_name":"Formal Methods in Verification","score":0.9866999983787537,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9707000255584717,"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","display_name":"Modal","score":0.7145418524742126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36025890707969666},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.1188148558139801}],"concepts":[{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7145418524742126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36025890707969666},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.1188148558139801},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020325100737","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020325100737","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:01KKDZ54Z99ZBNCR7GXFF5QE9X","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-01KKDZ54Z99ZBNCR7GXFF5QE9X","pdf_url":"https://biblio.ugent.be/publication/01KKDZ54Z99ZBNCR7GXFF5QE9X/file/01KKDZ75V7A006Q61PZSX0Z13K.pdf","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: 1755-0211","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1017/s1755020325100737","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020325100737","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3123848254","display_name":null,"funder_award_id":"309830/2023-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G4380493657","display_name":"Non-deterministic semantics as a tool for modeling negation and modality.","funder_award_id":"1255724N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8358162749","display_name":"Rationality, logic, and probability: RatioLog","funder_award_id":"20/16353-3","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"}],"funders":[{"id":"https://openalex.org/F4320320997","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","ror":"https://ror.org/02ddkpn78"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W37116735","https://openalex.org/W1551030425","https://openalex.org/W1969285530","https://openalex.org/W1990063075","https://openalex.org/W2026580636","https://openalex.org/W2035510616","https://openalex.org/W2073440284","https://openalex.org/W2073897909","https://openalex.org/W2109773523","https://openalex.org/W2906728959","https://openalex.org/W2963206298","https://openalex.org/W2977350810","https://openalex.org/W3168366845","https://openalex.org/W3177083957","https://openalex.org/W3213070835","https://openalex.org/W4200097878","https://openalex.org/W4206038654","https://openalex.org/W4211144022","https://openalex.org/W4213054065","https://openalex.org/W4242309855","https://openalex.org/W4250241526","https://openalex.org/W4283393914","https://openalex.org/W4390700435","https://openalex.org/W4414570846"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"In":[1,67],"previous":[2],"publications,":[3],"it":[4],"was":[5],"shown":[6],"that":[7,89],"finite":[8],"non-deterministic":[9,49,94],"matrices":[10],"are":[11],"quite":[12],"powerful":[13],"in":[14,64],"providing":[15],"semantics":[16,82],"for":[17,80,83,105],"a":[18,77,101,133],"large":[19],"class":[20],"of":[21,58,112,124,136,139],"normal":[22,84],"and":[23,75,85,119],"non-normal":[24,86],"modal":[25,29,53,87,106,115,125],"logics.":[26],"However,":[27],"some":[28],"logics,":[30,107],"such":[31],"as":[32],"those":[33],"whose":[34],"axiom":[35,40],"systems":[36,123],"contained":[37],"the":[38,42,56,65,110,113,117,137],"L\u00f6b":[39],"or":[41],"McKinsey":[43],"formula,":[44],"were":[45,60],"not":[46,61,98],"analyzed":[47],"via":[48],"semantics.":[50],"Furthermore,":[51],"other":[52],"rules":[54],"than":[55],"rule":[57],"necessitation":[59],"yet":[62],"characterized":[63],"framework.":[66],"this":[68,73],"paper,":[69],"we":[70],"will":[71],"overcome":[72],"shortcoming":[74],"present":[76],"novel":[78],"approach":[79,97],"constructing":[81],"logics":[88],"is":[90],"based":[91],"on":[92],"restricted":[93],"matrices.":[95],"This":[96],"only":[99],"offers":[100],"uniform":[102],"semantical":[103],"framework":[104],"while":[108],"keeping":[109],"interpretation":[111],"involved":[114],"operators":[116],"same,":[118],"thus":[120],"making":[121],"different":[122],"logic":[126],"comparable.":[127],"It":[128],"might":[129],"also":[130],"lead":[131],"to":[132],"new":[134],"understanding":[135],"concept":[138],"modality.":[140]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}