A Propositional Dynamic Logic for Instantial Neighborhood Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist. A Propositional Dynamic Logic for Instantial Neighborhood Models. In Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada, editors, Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Volume 10455 of Lecture Notes in Computer Science, pages 137-150, Springer, 2017. [doi]

This author has not been identified. Look up 'Johan van Benthem' in GoogleThis author has not been identified. Look up 'Nick Bezhanishvili' in GoogleThis author has not been identified. Look up 'Sebastian Enqvist' in Google

runs on WebDSL