量化様相論理で有名なバーカン式についてのメモ。 その証明 時制論理で有名なアーサー・プライアーは、S5の様相命題論理に古典一階論理の公理を追加すると、バーカン式と逆バーカン式が証明できることを示した(1956年)。そして、S5より弱くできないか、と…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。