Modal Logic

Modal Logic of the First and Second Orders

Second Order Applications

Second Order Monadic Logic describes logic over sets of edges and vertices in graphs. It can be used to describe much of what is put into place with s