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

Robert Goldblatt

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

Keyphrases

computer systems
distributed systems
closely related
special case
management system
real time
image segmentation
multi agent systems
image retrieval
knowledge based systems
building blocks
complex systems