A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4

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

• scientific article; zbMATH DE number 1231474
• A modal view of linear logic
• On an intuitionistic modal logic
• scientific article; zbMATH DE number 970624
• On the geometry of intuitionistic S4 proofs

zbMATH Keywords

Curry-Howard correspondencelinear logicmodal logicgeometry of interactionGirard translationstaged computation

Mathematics Subject Classification ID

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

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)

• Realising intensional S4 and GL modalities
• Restricted interpolation over modal logic S4

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)