Modality via iterated enrichment
From MaRDI portal
Publication:2134835
DOI10.1016/J.ENTCS.2018.11.015OpenAlexW2964325613WikidataQ113317481 ScholiaQ113317481MaRDI QIDQ2134835
Yoshihiko Kakutani, Yuichi Nishiwaki, Yuito Murase
Publication date: 3 May 2022
Full work available at URL: https://arxiv.org/abs/1804.02809
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Does the deduction theorem fail for modal logic?
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Modal pure type systems. Type theory for knowledge representation
- Monoidal bicategories and Hopf algebroids
- MetaML and multi-stage programming with explicit annotations
- On an intuitionistic modal logic
- Fitch-style modal lambda calculi
- Fibrational modal type theory
- Relative symmetric monoidal closed categories I: Autoenrichment and change of base
- Iterated distributive laws
- A Temporal Logic Approach to Binding-Time Analysis
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
- Call-by-Name and Call-by-Value in Normal Modal Logic
- Coherence for tricategories
- On the Functor ℓ2
- Contextual modal type theory
- A polymorphic modal type system for lisp-like multi-staged languages
This page was built for publication: Modality via iterated enrichment