X-2017-02: Johan van Benthem Truth Maker Semantics and Modal Information Logic 1.Full Text, 2.Abstract. < Back