{"id":"https://openalex.org/W1969724379","doi":"https://doi.org/10.1093/logcom/exp062","title":"On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice","display_name":"On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice","publication_year":2009,"publication_date":"2009-10-07","ids":{"openalex":"https://openalex.org/W1969724379","doi":"https://doi.org/10.1093/logcom/exp062","mag":"1969724379"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp062","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exp062","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/5/739/2934637/exp062.pdf","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":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/21/5/739/2934637/exp062.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025834328","display_name":"F\u00e9lix Bou","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES","US"],"is_corresponding":true,"raw_author_name":"F. Bou","raw_affiliation_strings":["Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086317940","display_name":"Francesc Esteva","orcid":"https://orcid.org/0000-0003-4466-3298"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES","US"],"is_corresponding":true,"raw_author_name":"F. Esteva","raw_affiliation_strings":["Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072818908","display_name":"Llu\u0131\u0301s Godo","orcid":"https://orcid.org/0000-0002-6929-3126"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES","US"],"is_corresponding":true,"raw_author_name":"L. Godo","raw_affiliation_strings":["Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: ; ;","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.  E-mail:","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113582124","display_name":"R.O. Rodr\u00edguez","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I53241121","display_name":"Fundaci\u00f3n Ciencias Exactas y Naturales","ror":"https://ror.org/05rxmkq09","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I53241121"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"R. O. Rodriguez","raw_affiliation_strings":["Dpto. de Computaci\u00f3n, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina. E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dpto. de Computaci\u00f3n, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina. E-mail:","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I53241121"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025834328","https://openalex.org/A5072818908","https://openalex.org/A5086317940","https://openalex.org/A5113582124"],"corresponding_institution_ids":["https://openalex.org/I1343180700","https://openalex.org/I24354313","https://openalex.org/I4210131846","https://openalex.org/I53241121"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":6.4022,"has_fulltext":false,"cited_by_count":147,"citation_normalized_percentile":{"value":0.9690528,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"21","issue":"5","first_page":"739","last_page":"790"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8799999952316284,"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.8799999952316284,"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.09860000014305115,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.008700000122189522,"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/humanities","display_name":"Humanities","score":0.45977649092674255},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4337380826473236},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.3911265730857849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3868754208087921},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.3813338577747345},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.3421483337879181},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.16038364171981812}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.45977649092674255},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4337380826473236},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.3911265730857849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3868754208087921},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.3813338577747345},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.3421483337879181},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.16038364171981812}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1093/logcom/exp062","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exp062","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/5/739/2934637/exp062.pdf","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.245.7000","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.245.7000","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0811.2107v2.pdf","raw_type":"text"},{"id":"pmh:oai:digital.csic.es:10261/138239","is_oa":false,"landing_page_url":"http://hdl.handle.net/10261/138239","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Art\u00edculo"}],"best_oa_location":{"id":"doi:10.1093/logcom/exp062","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exp062","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/5/739/2934637/exp062.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W109640840","https://openalex.org/W130537534","https://openalex.org/W161795538","https://openalex.org/W774527689","https://openalex.org/W1487361824","https://openalex.org/W1503075583","https://openalex.org/W1514758454","https://openalex.org/W1527684236","https://openalex.org/W1535673504","https://openalex.org/W1538206641","https://openalex.org/W1546767004","https://openalex.org/W1554619471","https://openalex.org/W1608445679","https://openalex.org/W1611875164","https://openalex.org/W1625156626","https://openalex.org/W1654394411","https://openalex.org/W1964254650","https://openalex.org/W1983382657","https://openalex.org/W1988093503","https://openalex.org/W1989354045","https://openalex.org/W2000260716","https://openalex.org/W2004739217","https://openalex.org/W2023648368","https://openalex.org/W2023812928","https://openalex.org/W2028965700","https://openalex.org/W2033088754","https://openalex.org/W2036661828","https://openalex.org/W2075766128","https://openalex.org/W2090382436","https://openalex.org/W2091957209","https://openalex.org/W2098994964","https://openalex.org/W2099602798","https://openalex.org/W2104501255","https://openalex.org/W2110182592","https://openalex.org/W2119353490","https://openalex.org/W2132635174","https://openalex.org/W2141679935","https://openalex.org/W2143075874","https://openalex.org/W2148682918","https://openalex.org/W2174371592","https://openalex.org/W2500266217","https://openalex.org/W2970205057","https://openalex.org/W4243173857","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525","https://openalex.org/W3193615524"],"abstract_inverted_index":{"This":[0],"article":[1],"deals":[2],"with":[3,71],"many-valued":[4],"modal":[5,46,86],"logics,":[6],"based":[7],"only":[8,50],"on":[9,19],"the":[10,25,31,38,44,48,53,57,75,85,92,104,118],"necessity":[11],"operator,":[12],"over":[13],"a":[14,78,107],"residuated":[15,39,80],"lattice.":[16],"We":[17,64,99],"focus":[18],"three":[20,93],"basic":[21,94],"classes,":[22],"according":[23],"to":[24,67],"accessibility":[26],"relation,":[27],"of":[28,34,77,84,91,96,106],"Kripke":[29,97],"frames:":[30],"full":[32],"class":[33],"frames":[35],"evaluated":[36,51,59],"in":[37,52,60,74,117],"lattice":[40,81],"(and":[41],"so":[42],"defining":[43],"minimum":[45],"logic),":[47],"ones":[49,58],"idempotent":[54],"elements":[55],"and":[56,62],"0":[61],"1.":[63],"show":[65],"how":[66],"expand":[68],"an":[69],"axiomatization,":[70],"canonical":[72,115],"truth-constants":[73,116],"language,":[76],"finite":[79,108],"into":[82],"one":[83,90],"logic,":[87],"for":[88,103],"each":[89],"classes":[95],"frames.":[98],"also":[100],"provide":[101],"axiomatizations":[102],"case":[105],"MV":[109],"chain":[110],"but":[111],"this":[112],"time":[113],"without":[114],"language.":[119]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":15},{"year":2012,"cited_by_count":6}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}