形式的な意味論については形式意味論の記事を参照。