The Bounded Fragment and Hybrid Logic with Polyadic Modalities.

Ian M. Hodkinson

Published in: Rev. Symb. Log. (2010)

Keyphrases

logic programming
classical logic
cross modal
truth table
multi valued
neural network
hybrid learning
predicate logic
hybrid approaches
genetic algorithm
search engine
decision trees
expert systems
multi modal
digital circuits
epistemic logic