Publications by year

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