Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) |
scientific article |
Statements
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (English)
0 references
22 November 2010
0 references
