1 results
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 April 2023, pp. 264-293
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation