UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC

DOI10.1017/bsl.2023.14arXiv2211.06217MaRDI QIDQ6170504

Daniel Gratzer, G. A. Kavvos

Publication date: 10 August 2023

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.06217

zbMATH Keywords

modal logicmultimodal logicmodal type theoryCurry-Howardproofs for modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• Dynamic epistemic logic
• Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
• Many-dimensional modal logics: theory and applications
• Fitch-style modal lambda calculi
• A judgmental reconstruction of modal logic
• Practical Foundations for Programming Languages
• Temporal Logics in Computer Science
• A modal analysis of staged computation
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Modalities and Parametric Adjoints
• Degrees of Relatedness
• Multimodal Dependent Type Theory
• Modal dependent type theory and dependent right adjoints
• Adjoint Logic with a 2-Category of Modes
• Modal and temporal properties of processes
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

This page was built for publication: UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC