Remarks about axiomatizations of certain modal systems.

Boleslaw Sobocinski

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

Keyphrases

databases
management system
modal logic
database
expert systems
distributed systems
complex systems
computer vision
software engineering
computer systems