{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T08:47:32Z","timestamp":1672390052196},"reference-count":12,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.3166\/jancl.19.489-516","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T08:43:32Z","timestamp":1265618612000},"page":"489-516","source":"Crossref","is-referenced-by-count":5,"title":["A quantitative doxastic logic for probabilistic processes and applications to information-hiding"],"prefix":"10.1080","volume":"19","author":[{"given":"Simon","family":"Kramer","sequence":"first","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Segala","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Turrini","sequence":"additional","affiliation":[]},{"given":"Christelle","family":"Braun","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-540-78663-4_23","volume-title":"Proceedings of the Third Symposium on Trustworthy Global Computing (TGC 2007)","volume":"4912","author":"Beauxis R."},{"key":"CIT0002","first-page":"171","volume-title":"Proceedings of CONCUR","volume":"3653","author":"Bhargava M."},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.006"},{"key":"CIT0004","first-page":"42","volume-title":"Proceedings of CONCUR'07","volume":"4703","author":"Chatzikokolakis K."},{"key":"CIT0005","author":"Chatzikokolakis K.","year":"2009","journal-title":"Information and Computation"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(3:2)2007"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-75560-9_18","volume-title":"Proceedings of the 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07)","volume":"4790","author":"Dechesne F."},{"key":"CIT0009","first-page":"478","volume-title":"Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science","author":"Desharnais J."},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/3812.3818"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2005-13305"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-1(3:1)2005"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T00:34:51Z","timestamp":1497832491000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.489-516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":12,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.3166\/jancl.19.489-516"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.489-516","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}