可能性と必然性を形式化する｜様相論理入門 - 記号論理学

id	29751
user_id	1056
roll_id	1868
order	35
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][modal_logic:0.4][possible_worlds:0.2]
created_time	1770275762
updated_time	1770275762