Similar to クリプキ・モデル

• 

  様相論理

  Modal logic
  
• 

  近傍意味論

  Neighborhood semantics
  
• 

  動的意味論

  Dynamic semantics
  
• 

  定義

  Definition
  
• 

  適切さの論理

  Relevance logic
  
• 

  矛盾許容論理

  Paraconsistent logic
  
• 

  解釈可能性論理

  Interpretability logic
  
• 

  義務論理

  Deontic logic
  
• 

  証明可能性論理

  Provability logic
  
• 

  正規様相論理

  Normal modal logic
  
• 

  二次元主義

  Two-dimensionalism
  
• 

  命令論理

  Imperative logic
  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯
  
• 

  1/2 + 1/4 + 1/8 + 1/16 + ⋯

  1/2 + 1/4 + 1/8 + 1/16 + ⋯
  
• 

  1/2 − 1/4 + 1/8 − 1/16 + ⋯

  1/2 − 1/4 + 1/8 − 1/16 + ⋯
  
• 

  1/4 + 1/16 + 1/64 + 1/256 + ⋯

  1/4 + 1/16 + 1/64 + 1/256 + ⋯
  
• 

  1/100

  Hundredth
  
• 

  D-加群

  D-module
  
• 

  ℓ進層

  ℓ-adic sheaf
  
• 

  ∞-トポス

  ∞-topos
  
• 

  アックス–グロタンディークの定理

  Ax–Grothendieck theorem
  
• 

  概念

  Concept
  
• 

  自然種

  Natural kind
  
• 

  推論役割意味論

  Inferential role semantics
  
• 

  意義と意味

  Sense and reference
  
• 

  探究

  Inquiry
  
• 

  0

  0
  
• 

  1

  1
  ▼-2 trends