{"id":"https://openalex.org/W2086275630","doi":"https://doi.org/10.1109/tfuzz.2015.2426724","title":"Fuzzy Bisimulation for G\u00f6del Modal Logic","display_name":"Fuzzy Bisimulation for G\u00f6del Modal Logic","publication_year":2015,"publication_date":"2015-04-27","ids":{"openalex":"https://openalex.org/W2086275630","doi":"https://doi.org/10.1109/tfuzz.2015.2426724","mag":"2086275630"},"language":"en","primary_location":{"id":"doi:10.1109/tfuzz.2015.2426724","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tfuzz.2015.2426724","pdf_url":null,"source":{"id":"https://openalex.org/S134177497","display_name":"IEEE Transactions on Fuzzy Systems","issn_l":"1063-6706","issn":["1063-6706","1941-0034"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Fuzzy Systems","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/A5088558008","display_name":"Tuan-Fang Fan","orcid":null},"institutions":[{"id":"https://openalex.org/I32078218","display_name":"National Penghu University of Science and Technology","ror":"https://ror.org/03fxxpd92","country_code":"TW","type":"education","lineage":["https://openalex.org/I32078218"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Tuan-Fang Fan","raw_affiliation_strings":["Department of Computer Science and Information Engineering, National Penghu University of Science and Technology, Penghu, Taiwan","Dept. of Computer Science and Information Engineering, National Penghu University of Science and Technology, Penghu, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, National Penghu University of Science and Technology, Penghu, Taiwan","institution_ids":["https://openalex.org/I32078218"]},{"raw_affiliation_string":"Dept. of Computer Science and Information Engineering, National Penghu University of Science and Technology, Penghu, Taiwan","institution_ids":["https://openalex.org/I32078218"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088558008"],"corresponding_institution_ids":["https://openalex.org/I32078218"],"apc_list":null,"apc_paid":null,"fwci":5.1773,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.95620495,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"23","issue":"6","first_page":"2387","last_page":"2396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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.9991000294685364,"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.9980999827384949,"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.9868999719619751,"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/bisimulation","display_name":"Bisimulation","score":0.8970059156417847},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.8696152567863464},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.7062503695487976},{"id":"https://openalex.org/keywords/modal-\u03bc-calculus","display_name":"Modal \u03bc-calculus","score":0.6489564180374146},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6466630697250366},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.6364718675613403},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5998969674110413},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.5834258794784546},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5709986686706543},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.5211051106452942},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.44192561507225037},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.43937379121780396},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.43353432416915894},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.395823210477829},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.3367767333984375},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30633002519607544},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.3032653331756592},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.28344404697418213},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21099594235420227},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20768335461616516},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.13214752078056335}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8970059156417847},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.8696152567863464},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.7062503695487976},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.6489564180374146},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6466630697250366},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6364718675613403},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5998969674110413},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.5834258794784546},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5709986686706543},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.5211051106452942},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44192561507225037},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.43937379121780396},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.43353432416915894},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.395823210477829},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.3367767333984375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30633002519607544},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.3032653331756592},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28344404697418213},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21099594235420227},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20768335461616516},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.13214752078056335},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tfuzz.2015.2426724","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tfuzz.2015.2426724","pdf_url":null,"source":{"id":"https://openalex.org/S134177497","display_name":"IEEE Transactions on Fuzzy Systems","issn_l":"1063-6706","issn":["1063-6706","1941-0034"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5400000214576721}],"awards":[{"id":"https://openalex.org/G6334151778","display_name":null,"funder_award_id":"MOST-103-2410-H-346-007-MY2","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"}],"funders":[{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W127101235","https://openalex.org/W130537534","https://openalex.org/W1516119557","https://openalex.org/W1545911618","https://openalex.org/W1645024112","https://openalex.org/W1969724379","https://openalex.org/W1992028263","https://openalex.org/W1996407745","https://openalex.org/W2017548357","https://openalex.org/W2018957484","https://openalex.org/W2021035966","https://openalex.org/W2023812928","https://openalex.org/W2028965700","https://openalex.org/W2033088754","https://openalex.org/W2038170597","https://openalex.org/W2041009309","https://openalex.org/W2048685664","https://openalex.org/W2064029774","https://openalex.org/W2072191370","https://openalex.org/W2090349619","https://openalex.org/W2095768683","https://openalex.org/W2097074325","https://openalex.org/W2110182592","https://openalex.org/W2132241193","https://openalex.org/W2132581016","https://openalex.org/W2155581733","https://openalex.org/W2167043222","https://openalex.org/W2169921622","https://openalex.org/W2294164365","https://openalex.org/W3098636582","https://openalex.org/W4211144022"],"related_works":["https://openalex.org/W2793267953","https://openalex.org/W2534562289","https://openalex.org/W142011187","https://openalex.org/W2952939288","https://openalex.org/W2901238796","https://openalex.org/W2175984923","https://openalex.org/W2166216406","https://openalex.org/W3108798275","https://openalex.org/W2187680313","https://openalex.org/W2113066314"],"abstract_inverted_index":{"Bisimulation":[0,35],"is":[1,17],"a":[2,18,92],"central":[3],"concept":[4],"in":[5,23,44,91],"the":[6,37,45,70,83,97],"model":[7],"theory":[8],"of":[9,40,69,85],"modal":[10,42,56,62,102,109],"logic":[11,43,63,103],"with":[12],"extensive":[13],"computational":[14],"applications.":[15],"It":[16],"relation":[19],"between":[20,72],"two":[21],"models":[22],"which":[24],"related":[25],"states":[26,49],"have":[27],"identical":[28],"atomic":[29],"properties":[30],"and":[31,75,88],"matching":[32],"transition":[33],"possibilities.":[34],"captures":[36],"expressive":[38],"power":[39],"propositional":[41,55,108],"sense":[46],"that":[47,104],"bisimilar":[48],"are":[50],"not":[51],"distinguishable":[52],"by":[53],"any":[54],"formula.":[57],"In":[58,78],"recent":[59],"years,":[60],"fuzzy":[61,76,86,101],"has":[64],"received":[65],"much":[66],"attention":[67],"because":[68],"connection":[71],"uncertainty":[73],"measures":[74],"modalities.":[77],"this":[79],"paper,":[80],"we":[81],"define":[82],"notion":[84],"bisimulation":[87,105],"prove":[89],"that,":[90],"fuzzified":[93],"version,":[94],"it":[95],"bears":[96,106],"same":[98],"relationship":[99],"to":[100,107],"logic.":[110]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}