PP-2018-01: Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A propositional dynamic logic for instantial neighborhood semantics 1.Full Text, 2.Abstract. < Back
