{"id":"https://openalex.org/W4414570855","doi":"https://doi.org/10.1007/978-3-032-06085-3_8","title":"A G\u00f6del Modal Logic over\u00a0Witnessed Crisp Models","display_name":"A G\u00f6del Modal Logic over\u00a0Witnessed Crisp Models","publication_year":2025,"publication_date":"2025-09-25","ids":{"openalex":"https://openalex.org/W4414570855","doi":"https://doi.org/10.1007/978-3-032-06085-3_8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-06085-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102948163","display_name":"Mauro Ferrari","orcid":"https://orcid.org/0000-0002-7904-1125"},"institutions":[{"id":"https://openalex.org/I115752224","display_name":"University of Insubria","ror":"https://ror.org/00s409261","country_code":"IT","type":"education","lineage":["https://openalex.org/I115752224"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mauro Ferrari","raw_affiliation_strings":["Department of Theoretical and Applied Sciences, Universit\u00e0 degli Studi dell\u2019Insubria, Varese, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Theoretical and Applied Sciences, Universit\u00e0 degli Studi dell\u2019Insubria, Varese, Italy","institution_ids":["https://openalex.org/I115752224"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011583391","display_name":"Camillo Fiorentini","orcid":"https://orcid.org/0000-0003-2152-7488"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Camillo Fiorentini","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 degli Studi di Milano, Milan, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 degli Studi di Milano, Milan, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079110572","display_name":"Ricardo \u00d3scar Rodr\u00edguez","orcid":"https://orcid.org/0000-0001-7551-2877"},"institutions":[{"id":"https://openalex.org/I4210134950","display_name":"Asociaci\u00f3n por los Derechos Civiles","ror":"https://ror.org/04assc746","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I4210134950"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Ricardo Oscar Rodriguez","raw_affiliation_strings":["UBA-FCEyN, Departmento de Computaci\u00f3n, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"UBA-FCEyN, Departmento de Computaci\u00f3n, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I4210134950"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102948163"],"corresponding_institution_ids":["https://openalex.org/I115752224"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.60501168,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"160"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9936000108718872,"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/modal-logic","display_name":"Modal logic","score":0.7922999858856201},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.7768999934196472},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.76419997215271},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.7394999861717224},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6722999811172485},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.5924000144004822},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.574999988079071},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.5503000020980835},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5189999938011169},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5130000114440918}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7922999858856201},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.7768999934196472},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.76419997215271},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.7394999861717224},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6722999811172485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6484000086784363},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.5924000144004822},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.574999988079071},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.5503000020980835},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5189999938011169},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5130000114440918},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5128999948501587},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.4966000020503998},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.4885999858379364},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4553999900817871},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.45509999990463257},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.45170000195503235},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.4253000020980835},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4237000048160553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41679999232292175},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38370001316070557},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.3610999882221222},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.33379998803138733},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.322299987077713},{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.30660000443458557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3052999973297119},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.2863999903202057},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.2800999879837036},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.27880001068115234},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C111404639","wikidata":"https://www.wikidata.org/wiki/Q376166","display_name":"Cut-elimination theorem","level":4,"score":0.26429998874664307},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.262800008058548}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-032-06085-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:air.unimi.it:2434/1185607","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1185607","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:irinsubria.uninsubria.it:11383/2200112","is_oa":false,"landing_page_url":"https://hdl.handle.net/11383/2200112","pdf_url":null,"source":{"id":"https://openalex.org/S4377196351","display_name":"IrInSubria (University of Insubria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115752224","host_organization_name":"University of Insubria","host_organization_lineage":["https://openalex.org/I115752224"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-06085-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6930832244","display_name":null,"funder_award_id":"101007627","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414570855.pdf","grobid_xml":"https://content.openalex.org/works/W4414570855.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1479710971","https://openalex.org/W1487361824","https://openalex.org/W1558962892","https://openalex.org/W1969724379","https://openalex.org/W2023812928","https://openalex.org/W2069762673","https://openalex.org/W2080568060","https://openalex.org/W2087005564","https://openalex.org/W2090382436","https://openalex.org/W2132581016","https://openalex.org/W2139348098","https://openalex.org/W2160449623","https://openalex.org/W2169921622","https://openalex.org/W2237602444","https://openalex.org/W2507687862","https://openalex.org/W2593670048","https://openalex.org/W2604254479","https://openalex.org/W3034542628","https://openalex.org/W3043920080","https://openalex.org/W3098636582","https://openalex.org/W3141912225","https://openalex.org/W3202683588","https://openalex.org/W4230919050","https://openalex.org/W4249736722","https://openalex.org/W4289104054","https://openalex.org/W4400210938"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"considers":[3],"the":[4,34,44,50,75,78,81,85,113,123,127],"bi-modal":[5],"logic":[6,42,51],"with":[7,26],"both":[8],"$$\\Box":[9],"$$":[10,17],"<mml:math":[11,18,53,102],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[12,19,54,103],"<mml:mo>\u25a1</mml:mo>":[13],"</mml:math>":[14,21,59,108],"and":[15,94,111,126],"$$\\Diamond":[16],"<mml:mo>\u25ca</mml:mo>":[20],"arising":[22],"from":[23],"Kripke":[24,63,130],"models":[25,64,125],"crisp":[27],"accessibility":[28],"whose":[29],"propositions":[30],"are":[31],"valued":[32],"over":[33],"standard":[35],"G\u00f6del":[36],"algebra":[37],"[0,":[38],"1].":[39],"Since":[40],"this":[41],"lacks":[43],"finite":[45,114],"model":[46,115],"property,":[47],"we":[48,95,118],"study":[49],"$$\\textbf{GW}^\\textrm{c}$$":[52,101],"<mml:msup>":[55,104],"<mml:mi>GW</mml:mi>":[56,105],"<mml:mtext>c</mml:mtext>":[57,106],"</mml:msup>":[58,107],"relying":[60],"on":[61],"witnessed":[62,124],"where,":[65],"for":[66],"each":[67],"modal":[68,86],"formula,":[69],"there":[70],"is":[71,109],"an":[72],"assignment":[73],"where":[74],"formula":[76],"without":[77],"modality":[79],"takes":[80],"same":[82],"value":[83],"as":[84],"one.":[87],"We":[88],"provide":[89],"a":[90,120],"cut-free":[91],"sequent":[92],"calculus":[93],"exploit":[96],"it":[97],"to":[98],"prove":[99],"that":[100],"decidable":[110],"meets":[112],"property.":[116],"Finally,":[117],"explore":[119],"connection":[121],"between":[122],"well-known":[128],"bi-relational":[129],"semantics.":[131]},"counts_by_year":[],"updated_date":"2026-04-24T08:23:43.765630","created_date":"2025-10-10T00:00:00"}