Category:意味論 (論理学)

Declarative knowledge

Circular definition

Recursive definition

Truth table

Game semantics

Semantics

Domain of discourse

Sense and reference

Mereology

Tautology (logic)

Intension

Brain in a vat