A modal perspective on monadic second-order alternation hierarchies.

Published in: Advances in Modal Logic (2008)

Keyphrases

higher order
datalog queries
viewpoint
deductive databases
high order
modal logic
neural network
information systems
website
temporal logic