Highway to the Danger Zone (Q4323004): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| Property / DOI | |||
| Property / DOI: 10.1093/logcom/5.1.93 / rank | |||
| Property / DOI | |||
| Property / DOI: 10.1093/LOGCOM/5.1.93 / rank | |||
Normal rank | |||
Latest revision as of 19:13, 29 December 2024
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
