S5 without modal axioms.

John Williamson

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

Keyphrases

modal logic
knowledge base
first order logic
kripke models
neural network
multiscale
complete axiomatization
learning algorithm
reinforcement learning
recommender systems
set theory
nonmonotonic logics
axiomatic characterization