動的意味論
dynamic senamtics
式$ \varphiは、文脈$ Cを文脈$ C\lbrack\varphi\rbrackに變換する函數$ \lbrack\varphi\rbrackに飜譯される
更新意味論
共通部分的更新
式$ \varphiの示す命題を$ \llbracket\varphi\rrbracketとして、任意の文脈$ \forall Cに對して$ C\lbrack\varphi\rbrack=C\cap\llbracket\varphi\rrbracketであれば、式$ \varphiは共通部分的である
reflective tower
BER MetaOCamlOCaml.icon
introspection。meta programming
談話表示理論 (DRT; discourse representation theory)
動的述語論理 (DPL; dynamic predicate logic)
量化動的論理 (QDL; quantificational dynamic logic)
依存型意味論 (DTS; dependent type semantics)