{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:10:02Z","timestamp":1748765402604,"version":"3.41.0"},"reference-count":31,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T00:00:00Z","timestamp":1453939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12,20]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We develop a logic for reasoning about semi-public environments , i.e. environments in which a process is executing, and where agents in the environment have partial and potentially different views of the process. Previous work on this problem illustrated that it was problematic to obtain both an adequate semantic model and a language for reasoning about semi-public environments. We here use program models for representing the changes that occur during the execution of a program. These models serve both as syntactic objects and as semantic models, and are a modification of action models in Dynamic Epistemic Logic, in the sense that they allow for ontic change (i.e. change in the world or state). We show how program models can elegantly capture a notion of observation of the environment. The use of these models resolves several difficulties identified in earlier work, and admit a much simpler treatment than was possible in previous work on semi-public environments.<\/jats:p>","DOI":"10.1093\/logcom\/exv086","type":"journal-article","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T03:24:27Z","timestamp":1454037867000},"page":"1071-1097","source":"Crossref","is-referenced-by-count":2,"title":["Program models and semi-public environments"],"prefix":"10.1093","volume":"29","author":[{"given":"Davide","family":"Grossi","sequence":"first","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Moyzes","sequence":"additional","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,1,28]]},"reference":[{"key":"2020012209065217900_B1"},{"key":"2020012209065217900_B2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"2020012209065217900_B3"},{"key":"2020012209065217900_B4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"volume-title":"Handbook of Modal Logic","year":"2007","author":"Blackburn","key":"2020012209065217900_B5"},{"key":"2020012209065217900_B6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"key":"2020012209065217900_B7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2020012209065217900_B8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s004460050038","article-title":"Knowledge-based programs","volume":"10","author":"Fagin","year":"1997","journal-title":"Distributed Computing"},{"key":"2020012209065217900_B9"},{"key":"2020012209065217900_B10"},{"key":"2020012209065217900_B11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"2020012209065217900_B12"},{"key":"2020012209065217900_B13","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: a study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2020012209065217900_B14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"volume-title":"A Short Introduction to Modal Logic","year":"1992","author":"Mints","key":"2020012209065217900_B15"},{"key":"2020012209065217900_B16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","article-title":"The frame problem and knowledge-producing actions","volume":"144","author":"Scherl","year":"2003","journal-title":"Artificial Intelligence"},{"key":"2020012209065217900_B17","article-title":"Awareness and knowledge","author":"Schipper","year":"2015","journal-title":"Handbook of Epistemic Logic"},{"key":"2020012209065217900_B18","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1007\/s10992-013-9298-y","article-title":"Action emulation between canonical models","volume":"42","author":"Sietsma","year":"2013","journal-title":"Journal of Philosophical Logic"},{"key":"2020012209065217900_B19","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","article-title":"Merging frameworks for interaction","volume":"38","author":"van Benthem","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"2020012209065217900_B20","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communications and change","volume":"204","author":"van Benthem","year":"2006","journal-title":"Information and Computation"},{"key":"2020012209065217900_B21"},{"key":"2020012209065217900_B22"},{"key":"2020012209065217900_B23","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1613\/jair.2901","article-title":"Reasoning about the transfer of control","volume":"37","author":"van der Hoek","year":"2010","journal-title":"JAIR"},{"key":"2020012209065217900_B24","first-page":"87","article-title":"Semantic results for ontic and epistemic change","volume-title":"Logic and the Foundations of Game and Decision Theory","author":"van Ditmarsch","year":"2008"},{"key":"2020012209065217900_B25","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/1082473.1082495","article-title":"Dynamic epistemic logic with assignments","volume-title":"AAMAS05","author":"van Ditmarsch","year":"2005"},{"volume-title":"Dynamic Epistemic Logic","year":"2007","author":"van Ditmarsch","key":"2020012209065217900_B26"},{"key":"2020012209065217900_B27"},{"key":"2020012209065217900_B28"},{"key":"2020012209065217900_B29","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-642-29326-9_7","article-title":"Perception and change in update logic","volume-title":"Games, Actions and Social Software","author":"van Eijck","year":"2012"},{"key":"2020012209065217900_B30"},{"key":"2020012209065217900_B31","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s11229-012-0083-1","article-title":"Action emulation","volume":"185","author":"van Eijck","year":"2012","journal-title":"Synthese"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/29\/7\/1071\/31910848\/exv086.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/29\/7\/1071\/31910848\/exv086.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:49:17Z","timestamp":1748764157000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/29\/7\/1071\/2917857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,28]]},"references-count":31,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2016,1,28]]},"published-print":{"date-parts":[[2019,12,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv086","relation":{},"ISSN":["1465-363X","0955-792X"],"issn-type":[{"type":"electronic","value":"1465-363X"},{"type":"print","value":"0955-792X"}],"subject":[],"published-other":{"date-parts":[[2019,11]]},"published":{"date-parts":[[2016,1,28]]}}}