{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:27:21Z","timestamp":1730222841683,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T00:00:00Z","timestamp":1691884800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T00:00:00Z","timestamp":1691884800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001695","name":"JST","doi-asserted-by":"publisher","award":["JPMJMS2033-02,JPMJFR206P"],"award-info":[{"award-number":["JPMJMS2033-02,JPMJFR206P"]}],"id":[{"id":"10.13039\/501100001695","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,13]]},"DOI":"10.1109\/fuzz52849.2023.10309760","type":"proceedings-article","created":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T13:51:41Z","timestamp":1699537901000},"page":"01-06","source":"Crossref","is-referenced-by-count":0,"title":["A Reasoning System for Time and Vagueness"],"prefix":"10.1109","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[{"name":"School of Computing The Australian National University Australian Capital,Territory,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computing The Australian National University Australian Capital,Territory,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"19","article-title":"A three-valued modal tense logic for the master argument","volume":"213","author":"Akama","year":"2011","journal-title":"Logique et Analyse"},{"journal-title":"Jan Lukasiewicz Selected Works, North-Holland","year":"1970","author":"Borkowski","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp062"},{"key":"ref4","first-page":"774","article-title":"Finite-valued Lukasiewicz modal logic is PSPACE-complete","volume-title":"Proceedings of 22nd IJCAI","author":"Bou"},{"journal-title":"Stanford Encyclopaedia of Philosophy","year":"2007","author":"Copeland","key":"ref5"},{"volume-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","year":"1996","author":"Copeland","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1991-153-404"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1992-171-205"},{"volume-title":"A Treatise on Many-valued Logics","year":"2001","author":"Gottwald","key":"ref9"},{"key":"ref10","first-page":"81","article-title":"Algebraic analysis of Lukasiewicz-Tarski n-valued logical systems","author":"Grigolia","year":"1977","journal-title":"Selected papers on Lukasiewicz sentential calculi, Wroclaw"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9396-9"},{"key":"ref12","first-page":"191","article-title":"The Flow of Time into Logic - and Computer Science","author":"Hasle","year":"2004","journal-title":"Bulletin of EATCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2011.07.002"},{"key":"ref14","first-page":"1008","article-title":"Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs","volume-title":"Proceedings of 22nd IJCAI","author":"Maruyama","year":"2011"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9234-x"},{"key":"ref16","first-page":"172","article-title":"Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic","volume":"5378","author":"Maruyama","year":"2009","journal-title":"Springer LNCS"},{"key":"ref17","article-title":"Future Contingents","author":"Ohrstrom","year":"2015","journal-title":"Stanford Encyclopaedia of Philosophy"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080179"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2307\/2217099"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/2957434"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"Rescher","year":"1971"},{"key":"ref22","first-page":"203","article-title":"Temporal Logic","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Venema","year":"2001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2022.32"}],"event":{"name":"2023 IEEE International Conference on Fuzzy Systems (FUZZ)","start":{"date-parts":[[2023,8,13]]},"location":"Incheon, Korea, Republic of","end":{"date-parts":[[2023,8,17]]}},"container-title":["2023 IEEE International Conference on Fuzzy Systems (FUZZ)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10309665\/10309668\/10309760.pdf?arnumber=10309760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T19:36:38Z","timestamp":1710358598000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10309760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,13]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/fuzz52849.2023.10309760","relation":{},"subject":[],"published":{"date-parts":[[2023,8,13]]}}}