Highway to the Danger Zone (Q4323004)
From MaRDI portal
scientific article; zbMATH DE number 722155
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Highway to the Danger Zone |
scientific article; zbMATH DE number 722155 |
Statements
Highway to the Danger Zone (English)
0 references
10 August 1995
0 references
Thue-process
0 references
undecidability
0 references
modal logics with more than one operator
0 references
polymodal logics
0 references
monomodal logics
0 references
