Forgetting in multi-agent modal logics (Q2321251)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Forgetting in multi-agent modal logics |
scientific article |
Statements
Forgetting in multi-agent modal logics (English)
0 references
28 August 2019
0 references
multi-agent modal logics
0 references
forgetting
0 references
uniform interpolation
0 references
0 references
