A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4

DOI10.4230/LIPIcs.FSCD.2019.20OpenAlexW2953977622MaRDI QIDQ5089022

Akira Yoshimizu, Yosuke Fukuda

Publication date: 18 July 2022

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

zbMATH Keywords

modal logiclinear logicCurry-Howard correspondencegeometry of interactionGirard translationstaged computation

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Decision problems for propositional linear logic
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• MetaML and multi-stage programming with explicit annotations
• A judgmental reconstruction of modal logic
• Environment classifiers
• A modal analysis of staged computation
• A Terminating and Confluent Linear Lambda Calculus
• A modal view of linear logic
• Geometry of Interaction and linear combinatory algebras
• Programming Languages and Systems
• An extended framework for specifying and reasoning about proof systems
• A Logical Foundation for Environment Classifiers

This page was built for publication: A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4