Some proofs of relative completeness in modal logic

From MaRDI portal
Publication:2535005