Since 2014
Objects, Types and Modal Logics
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Objects, Types and Modal Logics
|
|
| Creator |
Andersen, Dan S.
Pedersen, Lars H. Hüttel, Hans Kleist, Josva |
|
| Description |
In this paper we present a modal logic for describing properties ofterms in the object calculus of Abadi and Cardelli [AC96]. The logic isessentially the modal mu-calculus of [Koz83]. The fragment allows usto express the temporal modalities of the logic CTL [BAMP83]. Weinvestigate the connection between the type system Ob_1
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1996-06-19
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/20051
10.7146/brics.v3i49.20051 |
|
| Source |
BRICS Report Series; No 49 (1996): RS-49 Objects, Types and Modal Logics
BRICS Report Series; No 49 (1996): RS-49 Objects, Types and Modal Logics 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/20051/17677
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|