This study presents a detailed survey on recent development of logical networks and its applications, including the background of logical networks, the theory of a new matrix product called semi-tensor product (STP) of matrices, some fundamental works on logical networks, and some current research works. Particularly, some fundamental works on logical networks are presented for the past years, including controllability, stability and stabilisation, synchronisation, disturbance decoupling and so on. Due to the great potential of STP in dealing with logical networks, a surge of attraction from overseas is paid on the study of STP and its applications. Currently, some new research areas are widely studied including pinning control, function perturbations, system decomposition, trajectory control, output tracking issues, symbolic dynamics and so on. The main concern of this study is to present a comprehensive introduction to logical networks and some other applications under the framework of STP of matrices.