论文信息 - Doctoraal scriptie voor de studie Cognitieve Kunstmatige Intelligentie - 字舞流文

Doctoraal scriptie voor de studie Cognitieve Kunstmatige Intelligentie

Faculteit der Wijsbegeerte

[1] Marco Hollenberg. An Equational Axiomatization of Dynamic Negation and Relational Composition , 1997, J. Log. Lang. Inf..

[2] Albert Visser. Dynamic Relation Logic Is the Logic of DPL-Relations , 1997, J. Log. Lang. Inf..

[3] Jack Kaminsky,et al. Reference And Generality , 1962 .

[4] Jeroen Groenendijk,et al. Dynamic predicate logic , 1991 .

[5] Association Focus , 1999 .

[6] David Lewis,et al. Formal semantics of Natural Language: Adverbs of quantification , 2008 .