plural of Kripke frame
Kripke frames
様相論理を学ぶ大学院生はしばしば異なるクリプキ・フレームを比較して、到達関係が可能世界間の真理にどのように影響するかを理解しようとする。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★