Published December 4, 2024
| Version December 4, 2024
Report
Open
Message Logic
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