An exercise on the generation of many-valued dynamic logics.

Alexandre Madeira Renato Neves Manuel A. Martins

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

Keyphrases

modal logic
dynamic environments
truth values
expressive power
inference rules
conceptual clustering
learning algorithm
artificial neural networks
concept lattice
classical logic
conditional logic