Program models and semi-public environments



Grossi, Davide ORCID: 0000-0002-9709-030X, Van der Hoek, Wiebe, Moyzes, Christos and Wooldridge, Michael
(2019) Program models and semi-public environments. JOURNAL OF LOGIC AND COMPUTATION, 29 (7). pp. 1071-1097.

[img] Text
jlc.pdf - Unspecified

Download (865kB)

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>

Item Type: Article
Uncontrolled Keywords: Dynamic epistemic logic, ontic change, visibility, dynamic logic
Depositing User: Symplectic Admin
Date Deposited: 21 Apr 2016 15:23
Last Modified: 21 Aug 2023 21:25
DOI: 10.1093/logcom/exv086
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000479