O ct 2 01 9 Modal Logic via Global Consequence Xuefeng