{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:18:18Z","timestamp":1778757498979,"version":"3.51.4"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470643","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T16:14:07Z","timestamp":1625674447000},"page":"1-13","source":"Crossref","is-referenced-by-count":6,"title":["Some constructive variants of S4 with the finite model property"],"prefix":"10.1109","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Dieguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Fernandez-Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"113","article-title":"Intuitionistic modal logic with quantifiers","volume":"7","author":"fitch","year":"1948","journal-title":"Portugaliae Mathematica"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90059-B"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44802-0_21"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF02672476"},{"key":"ref14","first-page":"227","author":"wolter","year":"1999","journal-title":"Intuitionistic Modal Logic"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85845-4_40"},{"key":"ref16","article-title":"On nested sequents for constructive modal logics","volume":"11","author":"arisaka","year":"2015","journal-title":"Log Methods Comput Sci"},{"key":"ref17","first-page":"226","article-title":"A finite model property for Gödel modal logics","volume":"8071","author":"caicedo","year":"2013","journal-title":"Logic Language Information and Computation - 20th International Workshop WoLLIC 2013 Darmstadt Germany August 20-23 2013 Proceedings ser Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2006.01.001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3365833"},{"key":"ref4","author":"simpson","year":"1994","journal-title":"Ph D Dissertation"},{"key":"ref3","first-page":"179","article-title":"Axiomatizations for some intuitionistic modal logics","volume":"42","author":"fischer servi","year":"1984","journal-title":"Rend Sem Mat Univ Pol Torino"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005291931660"},{"key":"ref5","article-title":"Extended Curry-Howard correspondence for a basic constructive modal logic","author":"bellin","year":"2001"},{"key":"ref8","article-title":"Modal logic as a basis for distributed computation","author":"moody","year":"2003","journal-title":"Carnegie Mellon University Technical Report CMU - CS"},{"key":"ref7","first-page":"258","article-title":"A modal analysis of staged computation","author":"davies","year":"0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121259"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-04-0.50032-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2627"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9230-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02716-1_20"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Rome, Italy","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470643.pdf?arnumber=9470643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:46:21Z","timestamp":1652183181000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470643\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470643","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}