Logic
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?
Accepted:September 22, 2009
Accepted:
September 22, 2009