7 papers
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…
Modal reduction principles: a parametric shift to graphs
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano +1
Graph-based frames have been introduced as a logical framework which internalizes an inherent boundary to knowability. They also support the interpretation of lattice-based (modal)…
Obligations and permissions, algebraically
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
Obligations and permissions on selfextensional logics
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general ba…
Labelled calculi for the logics of rough concepts
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formu…