Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04".

Boleslaw Sobocinski

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

Keyphrases

modal logic
knowledge base
search engine
real time
learning algorithm
artificial intelligence
computer vision
decision making
objective function
artificial neural networks
set theory
nonmonotonic logics
axiomatic characterization