Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Modular constructive Lyndon interpolation for nondistributive logics
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano +1
We establish the Lyndon interpolation property for basic lattice expansion logics (LE-logics) in arbitrary signatures using display calculi. Our approach is constructive, yielding…
math.LO2025
Normative implications
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +4
We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slan…
math.LO2024
Game semantics for lattice-based modal μ-calculus
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +2
In this paper, we generalize modal -calculus to the non-distributive (lattice-based) modal -calculus and formalize some scenarios regarding categorization using it. We also…