Japaridzeの多様相論理
Giorgi Japaridze
の多様相論理，
Japaridze's Polymodal Logic
Japaridze's polymodal logic - Wikipedia
2023.05.08