Logic for Information Systems 1

Abstract

In the paper we consider a logical system called Decision Logic which may be used as a tool in the investigations of information systems. We provide two axiomatizations of that logic. One follows from the properties of information systems. The latter is in the style of proof theory. We prove the soundness and completeness theorems and show that both axiomatizations provide the same set of true formulae.