{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:39:35Z","timestamp":1725745175856},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399916"},{"type":"electronic","value":"9783642399923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_16","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T10:08:18Z","timestamp":1376474898000},"page":"168-178","source":"Crossref","is-referenced-by-count":5,"title":["A Simple Separation Logic"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Herzig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Kupferman, O. (ed.) Logic in Computer Science (LICS), New Orleans, June 25-28. IEEE (2013), http:\/\/www.ieee.org\/","DOI":"10.1109\/LICS.2013.20"},{"key":"16_CR3","unstructured":"Bienvenu, M., Herzig, A., Qi, G.: Prime implicate-based belief revision operators. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) European Conference on Artificial Intelligence (ECAI), Patras, Greece, pp. 741\u2013742. IOS Press (July 2008)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Brotherston, J., Kanovich, M.I.: Undecidability of propositional separation logic and its neighbours. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, United Kingdom, July 11-14, pp. 130\u2013139. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.24"},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/logcom\/exq024","volume":"21","author":"H. Ditmarsch van","year":"2011","unstructured":"van Ditmarsch, H., Herzig, A., de Lima, T.: From Situation Calculus to Dynamic Logic. Journal of Logic and Computation\u00a021(2), 179\u2013204 (2011), http:\/\/logcom.oxfordjournals.org\/content\/21\/2\/179.abstract?etoc","journal-title":"Journal of Logic and Computation"},{"key":"16_CR6","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press (1988)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ishtiaq, S.S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: Hankin, C., Schmidt, D. (eds.) POPL, pp. 14\u201326. ACM (2001)","DOI":"10.1145\/373243.375719"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052, 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"#cr-split#-16_CR9.1","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183\u2013203. Cambridge University Press (1992); Preliminary version in Allen, J.A., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387\u2013394. Morgan Kaufmann Publishers (1991)","DOI":"10.1017\/CBO9780511526664.007"},{"key":"#cr-split#-16_CR9.2","unstructured":"Preliminary version in Allen, J.A., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387???394. Morgan Kaufmann Publishers (1991)"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"994","DOI":"10.2178\/jsl\/1191333851","volume":"72","author":"G. Kourousias","year":"2007","unstructured":"Kourousias, G., Makinson, D.: Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic\u00a072(3), 994\u20131002 (2007)","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Larchey-Wendling, D., Galmiche, D.: The undecidability of boolean bi through phase semantics. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, United Kingdom, July 11-14, pp. 140\u2013149. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.18"},{"key":"16_CR12","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Mitchie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44802-0_1","volume-title":"Computer Science Logic","author":"P.W. O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol.\u00a02142, pp. 1\u201319. Springer, Heidelberg (2001)"},{"key":"16_CR14","unstructured":"Parikh, R.: Beliefs, belief revision, and splitting languages. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Logic, Language, and Computation, vol.\u00a02, pp. 266\u2013278. CSLI Publications (1999)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, San Diego (1991)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), Copenhagen, Denmark, July 22-25, pp. 55\u201374. IEEE Computer Society (2002)","DOI":"10.1109\/LICS.2002.1029817"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T23:41:18Z","timestamp":1563666078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}