4 citations · 4 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
Causal Kripke Models
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis +2
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality wi…
Subordination Algebras as Semantic Environment of Input/Output Logic
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…