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

Boleslaw Sobocinski

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

Keyphrases

knowledge base
modal logic
computer vision
first order logic
database
real world
machine learning
database systems
cooperative