A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4

DOI10.4230/LIPICS.FSCD.2019.20MaRDI QIDQ5089022zbMATH OpenOpenAlexFDO

Authors Yosuke Fukuda, Akira Yoshimizu

Publication date 18 July 2022

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

zbMATH Keywords

Curry-Howard correspondencegeometry of interactionGirard translationlinear logicmodal logicstaged computation

Mathematics Subject Classification ID

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

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

Cites work

• A judgmental reconstruction of modal logic
• A Logical Foundation for Environment Classifiers
• A modal analysis of staged computation
• A modal view of linear logic
• A Terminating and Confluent Linear Lambda Calculus
• An extended framework for specifying and reasoning about proof systems
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• Decision problems for propositional linear logic
• Environment classifiers
• Geometry of Interaction and linear combinatory algebras
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• scientific article; zbMATH DE number 970624 (Why is no real title available?)
• Linear logic
• MetaML and multi-stage programming with explicit annotations
• Programming Languages and Systems

Cited in

(2)

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

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)