PP-2017-23: Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist IPDL: a new modal logic of computation 1.Full Text, 2.Abstract. < Back
