Logics for information systems and their dynamic extensions
Md. Aquil Khan, Mohua Banerjee · ACM Transactions on Computational Logic · 2011
The article proposes logics forinformation systems, which provide information about a set of objects regarding a set of attributes. Both “complete” and “incomplete” information systems are dealt with. The language of these logics contains modal operators, and constants corresponding to attributes and attribute values. Sound and complete deductive systems for these logics are presented, and the problem of decidability is addressed. Furthermore, notions ofinformationandinformation updateare defined, and dynamic extensions of the above logics are presented to accommodate these notions. A set of reduction axioms enables us to obtain a complete axiomatization of the dynamic logics.