Realising intensional S4 and GL modalities

DOI10.4230/LIPICS.CSL.2022.14MaRDI QIDQ6124945zbMATH OpenFDO

Authors Liang-Ting Chen, Hsiang-Shang Ko

Publication date 10 April 2024

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2022.14

zbMATH Keywords

guarded recursionmetaprogrammingmodal typesprovabilityrealisability

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1231474
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
• On an intuitionistic modal logic
• A modal analysis of staged computation
• scientific article; zbMATH DE number 1848312

This page was built for publication: Realising intensional S4 and GL modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6124945)