Multimo dal Logics of Products of Topologies.

Johan van Benthem Guram Bezhanishvili Balder ten Cate Darko Sarenac

Published in: Stud Logica (2006)

Keyphrases

expressive power
modal logic
inference rules
commercial products
databases
neural network
genetic algorithm
case study
production line
propositional calculus