Crossmark

Axiomatising an information flow logic based on partial equivalence relations

Crossref DOI link: https://doi.org/10.1007/s10009-024-00756-z

Published Online: 2024-06-25

Published Print: 2024-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Filinski, Andrzej https://orcid.org/0000-0002-9174-1861
Larsen, Ken Friis https://orcid.org/0000-0002-0990-5127
Jensen, Thomas P. https://orcid.org/0000-0002-4064-7170
Funding

Funding for this research was provided by:

Copenhagen University
License Information

Text and Data Mining valid from 2024-06-25

Version of Record valid from 2024-06-25
More Information

Article History

Accepted: 4 June 2024

First Online: 25 June 2024