论文信息 - A Sequent Calculus for Modal Quantificational Logic

A Sequent Calculus for Modal Quantificational Logic

We give an axiomization of a modal quantificational logic which captures the notion of logical truth. This modal logic is stronger than S5. Next we describe a sequent calculus for this modal logic, and show that it is complete. Finally we describe some potential applications of Modal Logic to Artificial Intelligence.

Frank M. Brown

[1] Camilla Schwind,et al. Analysing and Representing Natural Language in Logic , 1978, AISB/GI.

[2] Frank M. Brown,et al. A Theorem Prover for Elementary Set Theory , 1977, IJCAI.

[3] Frank M. Brown. A Deductive System for elementary Arithmetic , 1976, AISB.

[4] Frank M. Brown,et al. Towards the Automation of Set Theory and its Logic , 1978, Artif. Intell..

[5] F. Malloy Brown. Doing Arithmetic Without Diagrams , 1977, Artif. Intell..

[6] Camilla Schwind,et al. Outline of an Integrated Theory of Natural Language Understanding , 1978 .