Ruitenburg's Theorem via Duality and Bounded Bisimulations.

Silvio Ghilardi Luigi Santocanale

Published in: Advances in Modal Logic (2018)

Keyphrases

linear programming
von neumann
artificial intelligence
information systems
asymptotically optimal
genetic algorithm
learning algorithm
decision making
artificial neural networks
np complete