量化様相論理で有名なバーカン式についてのメモ。 その証明 時制論理で有名なアーサー・プライアーは、S5の様相命題論理に古典一階論理の公理を追加すると、バーカン式と逆バーカン式が証明できることを示した（1956年）。そして、S5より弱くできないか、と…