Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) (Q6127858): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 06:28, 10 July 2024
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
