Note on Zeman's modal system S4.04.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

modal logic
neural network
pattern recognition
onset detection
expert systems
feature vectors