A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 1997; you can also visit the original URL.
The file type is application/pdf
.
Objects, Types and Modal Logics
1996
BRICS Report Series
In this paper we present a modal logic for describing properties of<br />terms in the object calculus of Abadi and Cardelli [AC96]. The logic is<br />essentially the modal mu-calculus of [Koz83]. The fragment allows us<br />to express the temporal modalities of the logic CTL [BAMP83]. We<br />investigate the connection between the type system Ob_1<:mu and the<br />mu-calculus, providing a translation of types into modal formulae and<br />an ordering on formulae that is sound w.r.t. to the subtype ordering<br />of Ob_1<:mu.
doi:10.7146/brics.v3i49.20051
fatcat:ysnjewqzenfmbj764v7qrepppi