Relation-changing modal operators: Fig. 1. (Q4644524)
From MaRDI portal
scientific article; zbMATH DE number 6997930
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relation-changing modal operators: Fig. 1. |
scientific article; zbMATH DE number 6997930 |
Statements
Relation-changing modal operators: Fig. 1. (English)
0 references
8 January 2019
0 references
modal logic
0 references
dynamic logics
0 references
expressivity
0 references
complexity
0 references
