Bisimulations for Knowing How Logics.

Raul Fervari Fernando R. Velázquez-Quesada Yanjing Wang

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

Keyphrases

expressive power
modal logic
classical logic
artificial neural networks
nonmonotonic logics
propositional calculus
real time
data sets
feature selection
decision making
multiscale
multi agent
mobile robot
conditional logic
coalition logic