UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504)
From MaRDI portal
scientific article; zbMATH DE number 7725102
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC |
scientific article; zbMATH DE number 7725102 |
Statements
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (English)
0 references
10 August 2023
0 references
modal logic
0 references
proofs for modal logic
0 references
multimodal logic
0 references
Curry-Howard
0 references
modal type theory
0 references
0 references
