PP-2011-25: Johan van Benthem Logic between Expressivity and Complexity 1.Full Text, 2.Abstract. < Back