Ray Reiter

缺省逻辑是逻辑学家Ray Reiter（英语：Ray Reiter）提出的用来形式化有缺省假定的推理的非单调逻辑。 标准逻辑只能表达某个事物为真或某个事物为假，但类似于“缺省的，某个事物是真的”的事实则可以使用缺省逻辑进行表达。推理经常会涉及到在多数时候是真但不总是真的事实，而缺省逻辑则可以解决这样的推理问题。

封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。 否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的。 封闭世界假定经常暗含在数据库中，因为所有没有明

2000.  Ray, James Lee, Colin and Miriam Fendius Elman , 编, 2003  缺少或|title=为空 (帮助) Ray, James Lee, 22: 277–292, 2005  缺少或|title=为空 (帮助) Reiter, D., 63

只要這一被確立，民主制度便能更有力的引導戰爭」。其他的研究則指出這是因為民主國家有更強大的動員能力或資源，所以有更大的機會贏得戰爭。 Stam和Reiter(2002, p. 64-70)也注意到在民主社會裡強調個人的重要性，代表了他們的士兵會有更高的戰鬥積極性和更好的領導。在獨裁制度裡的軍官往往是

Yusuf Islam official website. [26 September 2008]. （原始内容存档于2009-07-07）.  Reiter, Amy. Salon People: Cat Stevens. Salon. 14 August 1999 [17 October 2015]