cs.LO math.LO
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
Andrea De Domenico Ali Farjami Krishna Manoorkar Alessandra Palmigiano Mattia Panettiere Xiaolong Wang