Concerning the proper axiom for S4.04 and some related systems.

Robert Goldblatt

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

Keyphrases

systems require
computer systems
database systems
expert systems
complex systems
learning systems
website
information systems
wide range
multi agent systems
data sets
information technology
management system
distributed systems
building blocks
artificial intelligence
learning algorithm