Relation-changing modal operators (Q4644524)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6997930
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relation-changing modal operators |
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
0.8785355091094971
0 references
0.8626484274864197
0 references
0.846697211265564
0 references
0.8296375274658203
0 references
0.8225289583206177
0 references
