F-Logic

Robert Bryson Hall II，1990年1月22日—），以藝名Logic較為人知，是一名美国饒舌歌手、歌手、唱片制作人及作家。他出生于美国马里兰州盖瑟斯堡市。作为说唱团体RattPack的一员，近年来Logic在互联网上积攒了很高的人气并发行了四张正式混音带，而其中最近一张发行的《Young

Ontology-Grounded Methods and Applications，字面意思为“建立基于本体的方法和应用”） F-Logic（英语：F-Logic）（Frame Logic，框架逻辑，F-逻辑） KIF（英语：KIF）（Knowledge Interchange Format，知识交换格式）

mathematical introduction to logic 2nd, Boston, MA: Academic Press（英语：Academic Press）, 2001, ISBN 978-0-12-238452-3  Gamut, L.T.F., Logic, Language, and Meaning

9th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 176-185, 1994. [3] （页面存档备份，存于互联网档案馆） Summary of System F （页面存档备份，存于互联网档案馆） by Franck

Ferreira, F. and Wehmeier, K., 2002, "On the consistency of the Delta-1-1-CA fragment of Frege's Grundgesetze," Journal of Philosophic Logic 31: 301–11