Alternative completeness theorems for modal systems.

M. J. Cresswell

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

Keyphrases

databases
management system
computer systems
complex systems
information systems
modal logic
neural network
case study
optimal solution
search algorithm
data streams
expert systems
distributed systems