A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
From MaRDI portal
Publication:5089022
DOI10.4230/LIPICS.FSCD.2019.20OpenAlexW2953977622MaRDI QIDQ5089022FDOQ5089022
Authors: Yosuke Fukuda, Akira Yoshimizu
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1904.10605
Recommendations
Curry-Howard correspondencelinear logicmodal logicgeometry of interactionGirard translationstaged computation
Cites Work
- Decision problems for propositional linear logic
- A judgmental reconstruction of modal logic
- Linear logic
- A modal analysis of staged computation
- Geometry of Interaction and linear combinatory algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- MetaML and multi-stage programming with explicit annotations
- Environment classifiers
- A Terminating and Confluent Linear Lambda Calculus
- A Logical Foundation for Environment Classifiers
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- Title not available (Why is that?)
- A modal view of linear logic
- An extended framework for specifying and reasoning about proof systems
- Title not available (Why is that?)
- Programming Languages and Systems
Cited In (2)
This page was built for publication: A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089022)