On the Logic of General Behavioral Systems