Similar to クリプキ・モデル
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
1048576
12345679
非古典論理
Non-classical logic
確率論理
Probabilistic logic
線形論理
Linear logic
多値論理
Many-valued logic
中間論理
Intermediate logic
直観主義論理
Intuitionistic logic
非単調論理
Non-monotonic logic
ファジィ論理
Fuzzy logic
部分構造論理
Substructural logic
無限論理
Infinitary logic
共有知識
Common knowledge (logic)
偶然
Contingency (philosophy)
認識論理
Epistemic modal logic
不可能世界論
Impossible world
厳密含意
Strict conditional
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space