Foundations and Applications of MIS: A Model Theory Approach