On the proof-theory of two formalisations of modal first-order logic

From MaRDI portal
Publication:622627