Introduction to Logics for Databases and Information Systems

Abstract

The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. It is no longer enough to capture the static aspect of the world — modeling the dynamics, i.e., time, change, and concurrency becomes equally important. Also, there is a need for multiple modalities to distinguish between what is true, known, believed, permitted, obligatory, past, present, and future.