Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Cover Semantics for Intuitionistic Modalities
Nachiappan Valliappan
Intuitionistic modal logic (IML) has inspired several developments in programming languages including modal type systems for staging, computational effects and language-based secur…
cs.LO2025
Lax Modal Lambda Calculi
Nachiappan Valliappan
Intuitionistic modal logics (IMLs) extend intuitionistic propositional logic with modalities such as the box and diamond connectives. Advances in the study of IMLs have inspired se…
cs.LO2022
Normalization for Fitch-Style Modal Calculi
Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted…