Some constructive variants of S4 with the finite model property
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Gödel-Dummett axiom to IS4, and...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science S. 1 - 13 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
29.06.2021
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Gödel-Dummett axiom to IS4, and S4I, obtained by reversing the roles of the modal and intuitionistic relations. We then prove that CS4, GS4, and S4I all enjoy the finite model property. |
|---|---|
| AbstractList | The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Gödel-Dummett axiom to IS4, and S4I, obtained by reversing the roles of the modal and intuitionistic relations. We then prove that CS4, GS4, and S4I all enjoy the finite model property. |
| Author | Dieguez, Martin Fernandez-Duque, David Balbiani, Philippe |
| Author_xml | – sequence: 1 givenname: Philippe surname: Balbiani fullname: Balbiani, Philippe email: philippe.balbiani@irit.fr organization: Toulouse University,IRIT,Toulouse,France – sequence: 2 givenname: Martin surname: Dieguez fullname: Dieguez, Martin email: martin.dieguezlodeiro@univ-angers.fr organization: University of Angers,LERIA,Angers,France – sequence: 3 givenname: David surname: Fernandez-Duque fullname: Fernandez-Duque, David email: david.fernandezduque@UGent.be organization: Ghent University,Department of Mathematics,Ghent,Belgium |
| BookMark | eNotz8tKxDAUgOEICurYJxAkL9CatCeXsxIpXgYKLqrrIUlPmcj0QhtH5u1dOKt_98F_yy7HaSTGHqQopBT42GzrVpWlhqIUpSwQjNBQXbAMjZVaKwCLSl-zbF2_hRClNVIA3rCndhqIh2lc0_ITUjwSP7olujGtfOp5C_w3pj1Pe-J9HGMiPkwdHfi8TDMt6XTHrnp3WCk7d8O-Xl8-6_e8-Xjb1s9N7iojU47Be2MkoNFaS2-AtO6kBgydFB5IKYedhVChtb5DqVARuN6rYJXBHqoNu_93IxHt5iUObjntzpvVHwOqSlo |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470643 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 13 |
| ExternalDocumentID | 9470643 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a371t-9cbb7714976661b74e66d1649cd10b4e55a9d84c3988bd91595e4afb5c8579f43 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 6 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400055&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:26:38 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a371t-9cbb7714976661b74e66d1649cd10b4e55a9d84c3988bd91595e4afb5c8579f43 |
| OpenAccessLink | https://hal.science/hal-03248058v1/file/2104.15053.pdf |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_9470643 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.2823806 |
| Snippet | The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Computational modeling Computer science |
| Title | Some constructive variants of S4 with the finite model property |
| URI | https://ieeexplore.ieee.org/document/9470643 |
| WOSCitedRecordID | wos000947350400055&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LawIxEA4qPfRkWy19k0OPXTW7ySY5S6UFEcEWvEkeE_BQV6wu9N83s66WQi-9hUAImRDm-77Mg5BHm6VOWasSyUDhNyMkJg88yVKfQWREzPjqpsdyMlHzuZ42yNMxFwYAquAz6OGw-sv3hduhVNbXXKIHbZKmlPk-V-uopyDyj2i3TgJmA90fvw5niC5QOUlZr178q4tK5URG7f9tf0a6P9l4dHr0M-ekAasL0j60Y6D16-xE3F18AHXFoSZsCbSMTBgDXWgR6IxTFF1pRHw0LBFq0qoNDl2jHr_ZfnXJ--j5bfiS1P0REpNJtk20s1bKSHFk5CDMSg557iP90c6zgeUghNFecZdppazXEbgI4CZY4ZSQOvDskrRWxQquCFVG-eiqRTBBRIAVXzVWxhuESHeMAKavSQftsVjvS2AsalPc_D19S07R5BhRleo70oqnhnty4srt8nPzUN3bNyLvl_M |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LagIxFA3WFtqVbbX03Sy67OhkJjHJWipKpyJowZ3kcQMu6oidCv37JuNoKXTTXQgEwg3hnnPuC6FHnSZGaC0iTkCEMCNEqutolCY2Bc-IiLLlS2d8NBKzmRzX0NO-FgYAyuQzaIdlGcu3ufkMUllHUh486AE6ZJQm8bZaa6-oBOzv8W5VBkxi2cmGvUnAF0E7SUi7Ov5rjkrpRvqN_13gFLV-6vHweO9pzlANlueosRvIgKv_2fTIO38HbPJdV9gN4I3nwiHVBecOTygOsiv2mA-7RQCbuByEg1dBkV8XXy301n-e9gZRNSEhUiknRSSN1px7ksM9CyGaU-h2rSdA0lgSawqMKWkFNakUQlvpoQsDqpxmRjAuHU0vUH2ZL-ESYaGE9c6aOeWYh1j-X4feeLHzhEcxIPIKNYM95qttE4x5ZYrrv7cf0PFg-prNs-Ho5QadBPOH_KpE3qK6twDcoSOzKRYf6_vyDb8BPHubOg |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Some+constructive+variants+of+S4+with+the+finite+model+property&rft.au=Balbiani%2C+Philippe&rft.au=Dieguez%2C+Martin&rft.au=Fernandez-Duque%2C+David&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470643&rft.externalDocID=9470643 |