Program models and semi-public environments

Grossi, Davide, Van der Hoek, Wiebe ORCID: 0000-0003-0721-0310, Moyzes, Christos and Wooldridge, Michael (2019) Program models and semi-public environments JOURNAL OF LOGIC AND COMPUTATION, 29 (7). pp. 1071-1097. ISSN 0955-792X, 1465-363X

Text jlc.pdf - Unspecified Download (865kB)

Abstract

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.

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:	16 Jun 2026 07:14
DOI:	10.1093/logcom/exv086
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3000479
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.