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). 1071 - 1097.

[img] Text
jlc.pdf

Download (865kB)
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: 09 Jan 2021 08:32
DOI: 10.1093/logcom/exv086
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000479