Possible world semantics for first-order logic of proofs

این مقاله به سرگی آرتموف، یک همکار و افتخار افتخاری اختصاص داده شده است، که چیزهای فوق العاده ای را برای بقیه ما برای انجام بازی ساخته است.