A sequent cadculus for modal quantificational logic
Frank Malloy Brown · 1978
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.