Modality via iterated enrichment

DOI10.1016/J.ENTCS.2018.11.015MaRDI QIDQ2134835zbMATH OpenOpenAlexWikidataFDO

Authors Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase

Publication date 3 May 2022

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

zbMATH Keywords

Curry-Howard isomorphismenriched category theorylambda calculusmodal logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A new semantics of modal iteration
• On modality of representations
• MODALITY AND EXPRESSIBILITY
• Models and modality
• Modal expansionism
• Modal correspondence for models
• A note on intersection of modalities
• scientific article; zbMATH DE number 1356218
• scientific article; zbMATH DE number 5984132
• scientific article

Cites work

• A categorical model for a quantum circuit description language (extended abstract)
• A polymorphic modal type system for Lisp-like multi-staged languages
• A temporal logic approach to binding-time analysis
• Basic constructive modality
• Call-by-Name and Call-by-Value in Normal Modal Logic
• Coherence for tricategories
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Contextual modal type theory
• Does the deduction theorem fail for modal logic?
• Fibrational modal type theory
• Fitch-style modal lambda calculi
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 2064301 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• Iterated distributive laws
• MetaML and multi-stage programming with explicit annotations
• Modal pure type systems. Type theory for knowledge representation
• Monoidal bicategories and Hopf algebroids
• On an intuitionistic modal logic
• On the Functor ℓ2
• Relational and neighborhood semantics for intuitionistic modal logic
• Relative symmetric monoidal closed categories. I: Autoenrichment and change of base

Describes a project that uses

Uses Software

• LISP

This page was built for publication: Modality via iterated enrichment

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