A new formalism for calculating and analyzing many-mode quantum dynamics is presented. The formalism is similar in spirit to the second quantization formulation of electronic structure theory. The similarity means that similar techniques can be employed for calculating the many-mode nuclear wave function. As a consequence a new formulation of the vibrational self-consistent-field (VSCF) method can be developed. Another result is that the formalism opens up for the construction of new methods that go beyond the VSCF level. A vibrational coupled cluster (VCC) theory is constructed using the new formalism. The size-extensivity concept is introduced in the context of multimode wave functions and the size extensivity of approximate VCC methods is illustrated in comparison with the non-size-extensive vibrational configuration interaction method. (C) 2004 American Institute of Physics.