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
Constructive Game Logic, Computation as social agency: what, how and who, Iterated covariant powerset is not a monad, A propositional dynamic logic for instantial neighborhood semantics, A new game equivalence, its logic and algebra