Undecidable problems for modal definability.

Philippe Balbiani Tinko Tinchev

Published in: J. Log. Comput. (2017)

Keyphrases

np complete
application domains
search algorithm
modal logic
genetic algorithm
problems involving
databases
neural network
multi agent systems
query language
propositional logic
open problems