{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:55Z","timestamp":1761611275404},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175107"},{"type":"electronic","value":"9783642175114"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17511-4_16","type":"book-chapter","created":{"date-parts":[[2010,12,7]],"date-time":"2010-12-07T06:24:40Z","timestamp":1291703080000},"page":"272-289","source":"Crossref","is-referenced-by-count":6,"title":["An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory"],"prefix":"10.1007","author":[{"given":"Yoichi","family":"Hirai","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-44802-0_21","volume-title":"Computer Science Logic","author":"N. Alechina","year":"2001","unstructured":"Alechina, N., Mendler, M., de Paiva, V., Hitter, E.: Categorical and Kripke Semantics for Constructive S4 Modal Logic. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, pp. 292\u2013307. Springer, Heidelberg (2001)"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/176575.176576","volume":"12","author":"H. Attiya","year":"1994","unstructured":"Attiya, H., Welch, J.L.: Sequential consistency versus linearizability. ACM Transactions on Computer Systems\u00a012(2), 122 (1994)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"03","key":"16_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P. Balbiani","year":"2008","unstructured":"Balbiani, P., et al.: \u2018Knowable\u2019 as \u2018known after an announcement\u2019. The Review of Symbolic Logic\u00a01(03), 305\u2013334 (2008)","journal-title":"The Review of Symbolic Logic"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A. Baltag","year":"2007","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic actions as resources. Journal of Logic and Computation\u00a017(3), 555 (2007)","journal-title":"Journal of Logic and Computation"},{"doi-asserted-by":"crossref","unstructured":"Bieber, P., Onera-Cert, T.: A logic of communication in hostile environment. In: Proceedings of Computer Security Foundations Workshop III, 1990, pp. 14\u201322 (1990)","key":"16_CR5","DOI":"10.1109\/CSFW.1990.128181"},{"issue":"6","key":"16_CR6","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1093\/jigpal\/jzi049","volume":"13","author":"V. Costa","year":"2005","unstructured":"Costa, V., Benevides, M.: Formalizing concurrent common knowledge as product of modal logics. Logic Journal of IGPL\u00a013(6), 665 (2005)","journal-title":"Logic Journal of IGPL"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W.B. Ewald","year":"1986","unstructured":"Ewald, W.B.: Intuitionistic tense and modal logic. The Journal of Symbolic Logic\u00a051(1), 166\u2013179 (1986)","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1137\/S0097539796305766","volume":"28","author":"E. Gafni","year":"1999","unstructured":"Gafni, E., Koutsoupias, E.: Three-processor tasks are undecidable. SIAM Journal on Computing\u00a028(3), 970\u2013983 (1999)","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM)\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM (JACM)"},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M. Herlihy","year":"1991","unstructured":"Herlihy, M.: Wait-free synchronization. ACM Transactions on Programming Languages and Systems\u00a013(1), 124\u2013149 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"16_CR11","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1145\/331524.331529","volume":"46","author":"M. Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The topological structure of asynchronous computability. Journal of the ACM\u00a046(6), 858\u2013923 (1999)","journal-title":"Journal of the ACM"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"16_CR13","volume-title":"Knowledge and belief: an introduction to the logic of the two notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithica (1962)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-24725-8_16","volume-title":"Programming Languages and Systems","author":"L. Jia","year":"2004","unstructured":"Jia, L., Walker, D.: Modal Proofs as Distributed Programs (Extended Abstract). In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, p. 219. Springer, Heidelberg (2004)"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01211602","volume":"7","author":"N. Kobayashi","year":"1995","unstructured":"Kobayashi, N., Yonezawa, A.: Asynchronous communication model based on linear logic. Formal Aspects of Computing\u00a07(2), 113\u2013149 (1995)","journal-title":"Formal Aspects of Computing"},{"unstructured":"Kojima, K., Igarashi, A.: On constructive linear-time temporal logic. In: Proc. of IMLA, p. 8 (2008)","key":"16_CR16"},{"issue":"28","key":"16_CR17","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"100","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess program. IEEE Transactions on Computers\u00a0100(28), 690\u2013691 (1979)","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.J. Liau","year":"2003","unstructured":"Liau, C.J.: Belief, information acquisition, and trust in multi-agent systemsA modal logic formulation. Artificial Intelligence\u00a0149(1), 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"unstructured":"Majer, O., Peli\u0161, M.: Epistemic logic with relevant agents. In: The Logica Yearbook 2008, pp. 123\u2013135. Kings College Publications (2009)","key":"16_CR19"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H. Ono","year":"1977","unstructured":"Ono, H.: On some intuitionistic modal logics. Publ. Res. Inst. Math. Sci.\u00a013(3), 687\u2013722 (1977)","journal-title":"Publ. Res. Inst. Math. Sci."},{"issue":"1","key":"16_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(87)90035-3","volume":"35","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Communication in concurrent dynamic logic. J. Comp. Syst. Sci.\u00a035(1), 23\u201358 (1987)","journal-title":"J. Comp. Syst. Sci."},{"issue":"2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J. Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese\u00a0158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"key":"16_CR23","first-page":"399","volume-title":"TARK 1986: Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge","author":"G. Plotkin","year":"1986","unstructured":"Plotkin, G., Stirling, C.: A framework for intuitionistic modal logics: extended abstract. In: TARK 1986: Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 399\u2013406. Morgan Kaufmann Publishers Inc., San Francisco (1986)"},{"issue":"5","key":"16_CR24","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1137\/S0097539796307698","volume":"29","author":"M. Saks","year":"2000","unstructured":"Saks, M., Zaharoglou, F.: Wait-free k-set agreement is impossible: The topology of public knowledge. SIAM Journal on Computing\u00a029(5), 1449\u20131483 (2000)","journal-title":"SIAM Journal on Computing"},{"issue":"5","key":"16_CR25","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1145\/1017460.1017464","volume":"51","author":"R.C. Steinke","year":"2004","unstructured":"Steinke, R.C., Nutt, G.J.: A unified theory of shared memory consistency. Journal of the ACM\u00a051(5), 800\u2013849 (2004)","journal-title":"Journal of the ACM"},{"issue":"3","key":"16_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF00370365","volume":"49","author":"N.Y. Suzuki","year":"1990","unstructured":"Suzuki, N.Y.: Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. Studia Logica\u00a049(3), 289\u2013306 (1990)","journal-title":"Studia Logica"},{"key":"16_CR27","volume-title":"Constructivism in Mathematics: An Introduction","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction, vol.\u00a01. North-Holland, Amsterdam (1988)"},{"issue":"2","key":"16_CR28","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s11229-008-9408-5","volume":"167","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J.: The information in intuitionistic logic. Synthese\u00a0167(2), 251\u2013270 (2009)","journal-title":"Synthese"},{"issue":"3","key":"16_CR29","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/182110.182113","volume":"28","author":"T.Y.C. Woo","year":"1994","unstructured":"Woo, T.Y.C., Lam, S.S.: A lesson on authentication protocol design. SIGOPS Oper. Syst. Rev.\u00a028(3), 24\u201337 (1994)","journal-title":"SIGOPS Oper. Syst. Rev."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17511-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T18:00:27Z","timestamp":1553277627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17511-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175107","9783642175114"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17511-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}