{"id":"https://openalex.org/W1568513899","doi":"https://doi.org/10.3233/fi-2014-1122","title":"Quantitative Analysis of Lattice-valued Kripke Structures","display_name":"Quantitative Analysis of Lattice-valued Kripke Structures","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1568513899","doi":"https://doi.org/10.3233/fi-2014-1122","mag":"1568513899"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2014-1122","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-1122","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5080712914","display_name":"Haiyu Pan","orcid":"https://orcid.org/0000-0002-2496-837X"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haiyu Pan","raw_affiliation_strings":["College of Computer Science, Shaanxi Normal University, Xi'an 710062, China. phyu76@126.com"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, Shaanxi Normal University, Xi'an 710062, China. phyu76@126.com","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100402983","display_name":"Min Zhang","orcid":"https://orcid.org/0000-0003-1938-2902"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. mzhang@sei.ecnu.edu.cn","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. mzhang@sei.ecnu.edu.cn#TAB#"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. mzhang@sei.ecnu.edu.cn","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. mzhang@sei.ecnu.edu.cn#TAB#","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043695568","display_name":"Hengyang Wu","orcid":"https://orcid.org/0000-0001-6342-663X"},"institutions":[{"id":"https://openalex.org/I50760025","display_name":"Hangzhou Dianzi University","ror":"https://ror.org/0576gt767","country_code":"CN","type":"education","lineage":["https://openalex.org/I50760025"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengyang Wu","raw_affiliation_strings":["Information Engineer College, Hangzhou Dianzi University, 310018, Hangzhou, China. wuhengy_1974@aliyun.com","Information Engineer College, Hangzhou Dianzi University, 310018, Hangzhou, China. wuhengy_1974@aliyun.com#TAB#"],"affiliations":[{"raw_affiliation_string":"Information Engineer College, Hangzhou Dianzi University, 310018, Hangzhou, China. wuhengy_1974@aliyun.com","institution_ids":["https://openalex.org/I50760025"]},{"raw_affiliation_string":"Information Engineer College, Hangzhou Dianzi University, 310018, Hangzhou, China. wuhengy_1974@aliyun.com#TAB#","institution_ids":["https://openalex.org/I50760025"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102000768","display_name":"Yixiang Chen","orcid":"https://orcid.org/0000-0003-1235-5530"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixiang Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. yxchen@sei.ecnu.edu.cn","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. yxchen@sei.ecnu.edu.cn#TAB#"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. yxchen@sei.ecnu.edu.cn","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, Shanghai, China. yxchen@sei.ecnu.edu.cn#TAB#","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080712914"],"corresponding_institution_ids":["https://openalex.org/I88830068"],"apc_list":null,"apc_paid":null,"fwci":2.4926,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.8842655,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"135","issue":"3","first_page":"269","last_page":"293"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"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.9995999932289124,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9930999875068665,"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/kripke-structure","display_name":"Kripke structure","score":0.5734150409698486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48491984605789185},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.45904961228370667},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.4535343647003174},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26516979932785034},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.15770137310028076},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15017709136009216},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1411716341972351},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.07200479507446289}],"concepts":[{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5734150409698486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48491984605789185},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.45904961228370667},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.4535343647003174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26516979932785034},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15770137310028076},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15017709136009216},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1411716341972351},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.07200479507446289},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2014-1122","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-1122","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W130537534","https://openalex.org/W1498432697","https://openalex.org/W1503973138","https://openalex.org/W1506588809","https://openalex.org/W1597473924","https://openalex.org/W1643571618","https://openalex.org/W1811143743","https://openalex.org/W1963619740","https://openalex.org/W1963901723","https://openalex.org/W1964764902","https://openalex.org/W1967389018","https://openalex.org/W1969724379","https://openalex.org/W1983382657","https://openalex.org/W1992347963","https://openalex.org/W2011979623","https://openalex.org/W2015172530","https://openalex.org/W2016928625","https://openalex.org/W2028965700","https://openalex.org/W2035063729","https://openalex.org/W2047211518","https://openalex.org/W2059398904","https://openalex.org/W2059949763","https://openalex.org/W2076087052","https://openalex.org/W2076938770","https://openalex.org/W2088189255","https://openalex.org/W2090106217","https://openalex.org/W2090847457","https://openalex.org/W2093916942","https://openalex.org/W2094017389","https://openalex.org/W2097074325","https://openalex.org/W2110182592","https://openalex.org/W2116322260","https://openalex.org/W2154274300","https://openalex.org/W2238824626","https://openalex.org/W2506954980","https://openalex.org/W2913452116","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W2383159230","https://openalex.org/W2073285694","https://openalex.org/W2042193210","https://openalex.org/W2130098903","https://openalex.org/W2232612073","https://openalex.org/W2765506158","https://openalex.org/W3124743780","https://openalex.org/W4299541671","https://openalex.org/W2171784431","https://openalex.org/W2403418519"],"abstract_inverted_index":{"To":[0],"model":[1],"and":[2,43,53],"analyze":[3],"systems":[4],"with":[5],"multi-valued":[6],"information,":[7],"in":[8,18],"this":[9],"paper,":[10],"we":[11,26,54,65,74],"present":[12],"an":[13],"extension":[14,84],"of":[15,21,58,61,70,78,85],"Kripke":[16,32],"structures":[17,33],"the":[19,39,50,62],"framework":[20],"complete":[22],"residuted":[23],"lattices,":[24],"which":[25],"will":[27],"refer":[28],"to":[29,49],"as":[30],"lattice-valued":[31,51,59],"(LKSs).":[34],"We":[35],"then":[36],"show":[37],"how":[38],"traditional":[40],"trace":[41],"containment":[42],"equivalence":[44],"relations,":[45],"can":[46],"be":[47],"lifted":[48],"setting,":[52],"introduce":[55],"two":[56],"families":[57],"versions":[60],"relations.":[63,72],"Further,":[64],"explore":[66],"some":[67],"interesting":[68],"properties":[69],"these":[71],"Finally,":[73],"provide":[75],"logical":[76],"characterizations":[77],"our":[79],"relations":[80],"by":[81],"a":[82],"natural":[83],"linear":[86],"temporal":[87],"logic.":[88]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}