Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) |
scientific article |
Statements
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (English)
0 references
22 March 2011
0 references
modal logics
0 references
hybrid logics
0 references
normal forms
0 references
modal depth
0 references
0 references
