{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:03:40Z","timestamp":1725689020820},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2002.1027488","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:06:50Z","timestamp":1056564410000},"page":"146-153","source":"Crossref","is-referenced-by-count":3,"title":["Indexed flows in temporal \u00d7 modal logic with functional semantics"],"prefix":"10.1109","author":[{"given":"A.","family":"Burrieza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.P.","family":"de Guzman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Munoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"299","article-title":"A theory of conditionals in the context of branching time","author":"thomason","year":"1981","journal-title":"Ifs Conditionals Belief Decision Chance and Time"},{"key":"ref11","first-page":"323","article-title":"A temporal framework for conditional and chance","author":"van wetherell","year":"1981","journal-title":"Ifs Conditionals Belief Decision Chance and Time"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636769"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/2275595"},{"key":"ref4","first-page":"89","author":"burgess","year":"1984","journal-title":"Basic Tense Logic In Handbook of Philosophical Logic vol 2 Extensions of Classical Logic"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0553-5_7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01028972"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45988-X_19"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039700748"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054036"},{"key":"ref2","first-page":"239","author":"agents","year":"1996","journal-title":"branching time In Logic and Reality Essays in Pure and Applied Logic in Memory of Arthur Prior"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004425728816"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_3"}],"event":{"name":"Ninth International Symposium on Temporal Representation and Reasoning","acronym":"TIME-02","location":"Manchester, UK"},"container-title":["Proceedings Ninth International Symposium on Temporal Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7975\/22066\/01027488.pdf?arnumber=1027488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T12:00:50Z","timestamp":1489147250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1027488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/time.2002.1027488","relation":{},"subject":[]}}