Title: Logical Approach to Systems Theory