constructive semantics 1cover semantics 1intuitionistic modal logic 1normalization by evaluation 1type theory 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
Cover Semantics for Intuitionistic Modalities
Nachiappan Valliappan
The paper extends relational cover semantics for intuitionistic modal logic to remove a restrictive modal localization condition, providing a constructive completeness proof formal…
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.CV2024
UniAR: A Unified model for predicting human Attention and Responses on visual content
Peizhao Li, Junfeng He, Gang Li +10
Progress in human behavior modeling involves understanding both implicit, early-stage perceptual behavior, such as human attention, and explicit, later-stage behavior, such as subj…