A propositional dynamic logic for instantial neighborhood models
From MaRDI portal
Publication:1679752
DOI10.1007/978-3-662-55665-8_10zbMath1495.03052MaRDI QIDQ1679752
Nick Bezhanishvili, Sebastian Enqvist, J. F. A. K. van Benthem
Publication date: 22 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_10
Related Items