{"id":"https://openalex.org/W4414382779","doi":"https://doi.org/10.4230/lipics.csl.2025.24","title":"Propositional Logics of Overwhelming Truth","display_name":"Propositional Logics of Overwhelming Truth","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4414382779","doi":"https://doi.org/10.4230/lipics.csl.2025.24"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-05262897v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05262897","pdf_url":"https://hal.science/hal-05262897/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-326, ⟨10.4230/LIPIcs.CSL.2025.24⟩","raw_type":"Conference papers"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05262897/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119687934","display_name":"Thibaut Antoine","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210146044","display_name":"\u00c9cole Normale Sup\u00e9rieure de Rennes","ror":"https://ror.org/03rxtdc22","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210146044","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Antoine, Thibaut","raw_affiliation_strings":["Univ Rennes, CNRS, IRISA, France","ENS Rennes - \u00c9cole normale sup\u00e9rieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)","UR - Universit\u00e9 de Rennes (Campus de Beaulieu, 263 avenue G\u00e9n\u00e9ral Leclerc, CS 74205, 35042 RENNES CEDEX - France)","IRISA-D1 - SYST\u00c8MES LARGE \u00c9CHELLE (France)"],"affiliations":[{"raw_affiliation_string":"Univ Rennes, CNRS, IRISA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"ENS Rennes - \u00c9cole normale sup\u00e9rieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)","institution_ids":["https://openalex.org/I4210146044"]},{"raw_affiliation_string":"UR - Universit\u00e9 de Rennes (Campus de Beaulieu, 263 avenue G\u00e9n\u00e9ral Leclerc, CS 74205, 35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I56067802"]},{"raw_affiliation_string":"IRISA-D1 - SYST\u00c8MES LARGE \u00c9CHELLE (France)","institution_ids":["https://openalex.org/I2802519937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111431300","display_name":"David Baelde","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210146044","display_name":"\u00c9cole Normale Sup\u00e9rieure de Rennes","ror":"https://ror.org/03rxtdc22","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210146044","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Baelde, David","raw_affiliation_strings":["Univ Rennes, CNRS, IRISA, France","ENS Rennes - \u00c9cole normale sup\u00e9rieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)","UR - Universit\u00e9 de Rennes (Campus de Beaulieu, 263 avenue G\u00e9n\u00e9ral Leclerc, CS 74205, 35042 RENNES CEDEX - France)","IRISA-D1 - SYST\u00c8MES LARGE \u00c9CHELLE (France)"],"affiliations":[{"raw_affiliation_string":"Univ Rennes, CNRS, IRISA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"ENS Rennes - \u00c9cole normale sup\u00e9rieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)","institution_ids":["https://openalex.org/I4210146044"]},{"raw_affiliation_string":"UR - Universit\u00e9 de Rennes (Campus de Beaulieu, 263 avenue G\u00e9n\u00e9ral Leclerc, CS 74205, 35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I56067802"]},{"raw_affiliation_string":"IRISA-D1 - SYST\u00c8MES LARGE \u00c9CHELLE (France)","institution_ids":["https://openalex.org/I2802519937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5119687934"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937","https://openalex.org/I4210146044","https://openalex.org/I56067802"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24244987,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.550000011920929,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.550000011920929,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.49570000171661377,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.58160001039505},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5357000231742859},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5049999952316284},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4465999901294708},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4275999963283539},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.42640000581741333},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.39160001277923584},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.37770000100135803},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.36329999566078186},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.352400004863739}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.58160001039505},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5357000231742859},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5049999952316284},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4803999960422516},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4465999901294708},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43790000677108765},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4275999963283539},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.42640000581741333},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4246000051498413},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4203000068664551},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.39160001277923584},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.37770000100135803},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.36329999566078186},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.35199999809265137},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.35109999775886536},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.3393000066280365},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.33629998564720154},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.3215000033378601},{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C161505775","wikidata":"https://www.wikidata.org/wiki/Q3240280","display_name":"Direct proof","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.30410000681877136},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.29269999265670776},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.26899999380111694},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.26109999418258667},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.25600001215934753}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:HAL:hal-05262897v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05262897","pdf_url":"https://hal.science/hal-05262897/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-326, ⟨10.4230/LIPIcs.CSL.2025.24⟩","raw_type":"Conference papers"},{"id":"pmh:oai:drops-oai.dagstuhl.de:22781","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.24","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol326-csl2025/LIPIcs.CSL.2025.24/LIPIcs.CSL.2025.24.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.4230/lipics.csl.2025.24","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.csl.2025.24","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05262897v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05262897","pdf_url":"https://hal.science/hal-05262897/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-326, ⟨10.4230/LIPIcs.CSL.2025.24⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4041451713","display_name":null,"funder_award_id":"ANR-22-PECY-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6612625481","display_name":null,"funder_award_id":"France 2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414382779.pdf","grobid_xml":"https://content.openalex.org/works/W4414382779.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Cryptographers":[0],"consider":[1,47,151,205],"that":[2,17,24,64,84,160,190,208,223,227],"asymptotic":[3],"security":[4,96],"holds":[5],"when,":[6],"for":[7,132,177],"any":[8],"possible":[9],"attacker":[10],"running":[11],"in":[12,180],"polynomial":[13],"time,":[14],"the":[15,18,32,71,82,181,215,243],"probability":[16,63],"attack":[19],"succeeds":[20],"is":[21,52,56,79,89,209,236],"negligible,":[22],"i.e.":[23,61],"it":[25,55,78,161],"tends":[26,65],"fast":[27,66],"enough":[28,67],"to":[29,38,68,167,196,211],"zero":[30],"with":[31,58,70,163],"size":[33,72],"of":[34,73,125,155,183,245],"secrets.":[35,74],"In":[36,75,135,165,222],"order":[37],"reason":[39],"formally":[40],"about":[41],"cryptographic":[42],"truth,":[43,127,157],"one":[44,69],"may":[45],"thus":[46],"logics":[48,77,142],"where":[49,214],"a":[50,62,92,123,152,173,206,228],"formula":[51],"satisfied":[53,90],"when":[54],"true":[57],"overwhelming":[59,126,147,156,216],"probability,":[60],"such":[76],"not":[80,115],"always":[81],"case":[83],"either":[85],"\u03d5":[86],"or":[87],"\u231d\u03d5":[88],"by":[91],"given":[93],"model.":[94],"However,":[95],"analyses":[97],"will":[98],"inevitably":[99],"involve":[100],"specific":[101],"formulas,":[102],"which":[103,121],"we":[104,138,188,225],"call":[105],"determined,":[106],"satisfying":[107],"this":[108,133,136,171,191],"property":[109],"-":[110],"typically":[111],"because":[112],"they":[113],"are":[114],"probabilistic.":[116],"The":[117],"Squirrel":[118],"proof":[119,130,175,230,247],"assistant,":[120],"implements":[122],"logic":[124,154,179,207],"features":[128],"ad-hoc":[129],"rules":[131],"purpose.":[134],"paper,":[137],"study":[139],"several":[140],"propositional":[141],"whose":[143],"semantics":[144],"rely":[145],"on":[146,200,233],"truth.":[148],"We":[149,203],"first":[150],"modal":[153],"and":[158,238],"show":[159,189,226],"coincides":[162],"S5.":[164],"addition":[166],"providing":[168],"an":[169],"axiomatization,":[170],"brings":[172],"well-behaved":[174],"system":[176,192],"our":[178],"form":[182],"Poggiolesi\u2019s":[184],"hypersequent":[185],"calculus.":[186],"Further,":[187],"can":[193],"be":[194,220],"adapted":[195],"elegantly":[197],"incorporate":[198],"reasoning":[199],"determined":[201],"atoms.":[202],"then":[204],"closer":[210],"Squirrel\u2019s":[212,246],"language,":[213],"truth":[217],"modality":[218],"cannot":[219],"nested.":[221],"case,":[224],"simple":[229],"system,":[231],"based":[232],"regular":[234],"sequents,":[235],"sound":[237],"complete.":[239],"This":[240],"result":[241],"justifies":[242],"core":[244],"system.":[248]},"counts_by_year":[],"updated_date":"2026-04-23T09:07:50.710637","created_date":"2025-10-10T00:00:00"}