{"id":"https://openalex.org/W2621579071","doi":"https://doi.org/10.23638/lmcs-14(1:10)2018","title":"A Real-Valued Modal Logic","display_name":"A Real-Valued Modal Logic","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2621579071","doi":"https://doi.org/10.23638/lmcs-14(1:10)2018","mag":"2621579071"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-14(1:10)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:10)2018","pdf_url":"https://lmcs.episciences.org/4231/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/4231/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079445863","display_name":"Denisa Diaconescu","orcid":"https://orcid.org/0000-0001-6083-0194"},"institutions":[{"id":"https://openalex.org/I141595442","display_name":"University of Bucharest","ror":"https://ror.org/02x2v6p15","country_code":"RO","type":"education","lineage":["https://openalex.org/I141595442"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Denisa Diaconescu","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, University of Bucharest, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, University of Bucharest, Romania","institution_ids":["https://openalex.org/I141595442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038446877","display_name":"George Metcalfe","orcid":"https://orcid.org/0000-0001-7610-404X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"George Metcalfe","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7610-404X","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5081127842","display_name":"Laura Janina Schn\u00fcriger","orcid":null},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Laura Schn\u00fcriger","raw_affiliation_strings":["Mathematical Institute, University of Bern, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute, University of Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5532,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75017734,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"Volume 14, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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.9994000196456909,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9894000291824341,"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-logic","display_name":"Modal logic","score":0.6722831726074219},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6599352955818176},{"id":"https://openalex.org/keywords/modal-\u03bc-calculus","display_name":"Modal \u03bc-calculus","score":0.5828314423561096},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5684674978256226},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5101030468940735},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.48843422532081604},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.45025789737701416},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.4364153742790222},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27682071924209595},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.17194780707359314},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14567813277244568},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.07762178778648376},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.06525254249572754}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6722831726074219},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6599352955818176},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.5828314423561096},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5684674978256226},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5101030468940735},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.48843422532081604},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.45025789737701416},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.4364153742790222},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27682071924209595},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.17194780707359314},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14567813277244568},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.07762178778648376},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.06525254249572754},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"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/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/lmcs-14(1:10)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:10)2018","pdf_url":"https://lmcs.episciences.org/4231/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1706.02854","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.02854","pdf_url":"https://arxiv.org/pdf/1706.02854","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:0f7017e1aeb144b9875817b41560ebf9","is_oa":true,"landing_page_url":"https://doaj.org/article/0f7017e1aeb144b9875817b41560ebf9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-14(1:10)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:10)2018","pdf_url":"https://lmcs.episciences.org/4231/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.41999998688697815,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3213885439","display_name":"Admissible Rules: From Characterizations to Applications","funder_award_id":"146748","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G5783920772","display_name":"Syntax Meets Semantics: Methods,  Interactions, and Connections in Substructural logics.","funder_award_id":"689176","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8282455887","display_name":null,"funder_award_id":"PN-II-RU-TE-2014-4-0730","funder_id":"https://openalex.org/F4320323444","funder_display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103"},{"id":"https://openalex.org/G8629695600","display_name":null,"funder_award_id":"PN-II-RU-TE-2014-4-0730","funder_id":"https://openalex.org/F4320315989","funder_display_name":"National Authority for Scientific Research and Innovation"},{"id":"https://openalex.org/G993971353","display_name":null,"funder_award_id":"200021","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320315989","display_name":"National Authority for Scientific Research and Innovation","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320323444","display_name":"Autoritatea National\u0103 pentru Cercetare Stiintific\u0103","ror":"https://ror.org/03padf885"},{"id":"https://openalex.org/F4320323983","display_name":"Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii","ror":"https://ror.org/01q7jq182"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2621579071.pdf","grobid_xml":"https://content.openalex.org/works/W2621579071.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W45978246","https://openalex.org/W130537534","https://openalex.org/W187636597","https://openalex.org/W607239742","https://openalex.org/W774527689","https://openalex.org/W1445657904","https://openalex.org/W1608445679","https://openalex.org/W1909566981","https://openalex.org/W1959664364","https://openalex.org/W1966718868","https://openalex.org/W2014030742","https://openalex.org/W2016033687","https://openalex.org/W2023812928","https://openalex.org/W2028965700","https://openalex.org/W2033040247","https://openalex.org/W2033088754","https://openalex.org/W2069762673","https://openalex.org/W2088476380","https://openalex.org/W2110182592","https://openalex.org/W2132581016","https://openalex.org/W2139348098","https://openalex.org/W2144692807","https://openalex.org/W2169921622","https://openalex.org/W2171279236","https://openalex.org/W2208200942","https://openalex.org/W2243212299","https://openalex.org/W2546140208","https://openalex.org/W2604254479","https://openalex.org/W2605202528","https://openalex.org/W2733196847","https://openalex.org/W2784454238","https://openalex.org/W2802109959","https://openalex.org/W3086265457"],"related_works":["https://openalex.org/W2534562289","https://openalex.org/W142011187","https://openalex.org/W3108798275","https://openalex.org/W2952939288","https://openalex.org/W2175984923","https://openalex.org/W2795425183","https://openalex.org/W2187680313","https://openalex.org/W2260113151","https://openalex.org/W2189137650","https://openalex.org/W4318188140"],"abstract_inverted_index":{"A":[0,33],"many-valued":[1],"modal":[2,15],"logic":[3,16],"is":[4,37,60],"introduced":[5],"that":[6,70,77],"combines":[7],"the":[8,14,30,49,53,56,79],"usual":[9],"Kripke":[10],"frame":[11],"semantics":[12],"of":[13,82],"K":[17],"with":[18],"connectives":[19],"interpreted":[20],"locally":[21],"at":[22],"worlds":[23],"by":[24],"lattice":[25],"and":[26,39,73],"group":[27],"operations":[28],"over":[29],"real":[31],"numbers.":[32],"labelled":[34,57],"tableau":[35,58],"system":[36,59,76],"provided":[38],"a":[40,67],"coNEXPTIME":[41],"upper":[42],"bound":[43],"obtained":[44],"for":[45,66],"checking":[46],"validity":[47],"in":[48],"logic.":[50,84],"Focussing":[51],"on":[52],"modal-multiplicative":[54],"fragment,":[55],"then":[61],"used":[62],"to":[63],"establish":[64],"completeness":[65],"sequent":[68],"calculus":[69],"admits":[71],"cut-elimination":[72],"an":[74],"axiom":[75],"extends":[78],"multiplicative":[80],"fragment":[81],"Abelian":[83]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}