A Propositional Dynamic Logic for Instantial Neighborhood Semantics.

Johan van Benthem Nick Bezhanishvili Sebastian Enqvist

Published in: Stud Logica (2019)

Keyphrases

propositional dynamic logic
dynamic logic
reasoning about actions
real time
machine learning
artificial intelligence
search engine
database systems
formal semantics