Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) (Q6127858)
From MaRDI portal
scientific article; zbMATH DE number 7832085
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) |
scientific article; zbMATH DE number 7832085 |
Statements
Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) (English)
0 references
14 April 2024
0 references
multi-agent logic
0 references
branching temporal logic
0 references
Kripke relational semantics
0 references
filtration method
0 references
finite approximability
0 references
