Kleene under a modal demonic star.

Jules Desharnais Bernhard Möller Fairouz Tchier

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

propositional logic
regular expressions
modal logic
nonmonotonic logics
star shaped
neural network
first order logic
multi agent
pattern matching
database systems
image sequences
evolutionary algorithm
special case