A Logic for Information Systems.

Dmitry A. Archangelsky Mikhail A. Taitslin

Published in: Stud Logica (1997)

Keyphrases

information systems
modal logic
classical logic
information technology
logic programming
multi valued
asynchronous circuits
user satisfaction
automated reasoning
distributed information systems
real time
information systems development
digital circuits
logical framework
conceptual models
neural network
data sets