Kripke frame
plural of stopping train
plural of video assistant referee
Alternative form of dip net
(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.
概念を示すために、彼女は可達性（前順序）関係を備えた可能世界の集合を図に描き、どの世界が他の世界に到達できるかを示した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
