#
Is modal logic first-order logic or second-order logic or higher-order logic? What makes a logical system fall into any of those categories? Is it based on expressive power?

Read another response by Peter Smith

Read another response about Logic