A geometrical view of I/O logic

D. Gabbay, X. Parent, L. van der Torre

We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called…