Modal logics of sabotage revisited - Aucher, Guillaume; Benthem, Johan van; Grossi, Davide (Journal of logic and computation, 2018)
Keywords: Artificial Intelligence; Computer Science; Logic; Logic in Computer Science; Mathematics