A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
-
Altmetric Citations
Ahn, Ki Yung; Horne, Ross; Tiu, Alwen
Description
Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called OM, is such that modalities are closed under substitutions, which induces a property known as intuitionistic hereditary. Intuitionistic hereditary reflects in logic the lazy instantiation of free variables performed when checking open...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2021 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/288237 |
Source: | Logical Methods in Computer Science |
DOI: | 10.46298/LMCS-17(3:2)2021 |
Access Rights: | Open Access |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
1701.05324.pdf | 740.2 kB | Adobe PDF |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator