File uploads: We have fixed an issue which caused file uploads to fail. We apologise for the inconvenience it may have caused.

Published December 4, 2024 | Version December 4, 2024
Report Open

Message Logic

  • 1. Heliax AG

Description

We introduce Message Logic, a dynamic modal logic for specifying and reasoning about message- passing in distributed systems. We study in particular how to express that participants make commitments to each other about their future behaviour. This leads us to develop a kind of ‘partial implication’ which we call pragmatic implication, and to an axiomatisation of the action of offering a commitment. We then discuss how this logic can be understood in the context of industrial practice.

Files

2024-Murdoch-Gabbay-Message-Logic.pdf

Files (847.5 kB)

Name Size Download all
md5:e941317f4e170c6059dffbfa1cc91761
847.5 kB Preview Download

Additional details

Dates

Accepted
2024-12-04