*逻辑学 logic
行动的逻辑 action (Krister Segerberg, John-Jules Meyer, and Marcus Kracht)代数命题逻辑 algebraic propositional (Ramon Jansana)古代逻辑学 ancient (Susanne Bobzien)信念修正的逻辑 of belief revision (Sven Ove Hansson)经典逻辑 classical (Stewart Shapiro and Teresa Kouri Kissel)组合逻辑 combinatory (Katalin Bimbó)合并逻辑 combining (Walter Carnielli and Marcelo Esteban Coniglio)条件逻辑 conditionals (Paul Egré and Hans Rott)连接逻辑 connexive (Heinrich Wansing)道义逻辑 deontic (Paul McNamara and Frederik Van De Putte)依赖逻辑 dependence (Pietro Galliani)博弈语义 dialogical (Nicolas Clerbout and Zoe McConaughey)动态认知逻辑 dynamic epistemic (Alexandru Baltag and Bryan Renne)认知逻辑 epistemic (Rasmus Rendsvig, John Symons, and Yanjing Wang)分析游戏的逻辑 for analyzing games (Johan van Benthem and Dominik Klein)对博弈中权力的分析 for analyzing power in normal form games (Paolo Turrini and Thomas Ågotnes)自由逻辑 free (John Nolt)模糊逻辑 fuzzy (Petr Cintula, Christian G. Fermüller, and Carles Noguera)逻辑与游戏 and games (Wilfrid Hodges and Jouko Väänänen)混合逻辑 hybrid (Torben Braüner)*古典印度哲学——见古典印度哲学：古典印度哲学中的逻辑学 in classical Indian philosophy — see Indian Philosophy (Classical): logic独立性友好逻辑 independence friendly (Tero Tulenheimo)归纳逻辑 inductive (James Hawthorne)无穷逻辑 infinitary (John L. Bell)非形式逻辑 informal (Leo Groarke)逻辑与信息 and information (Maricarmen Martinez and Sebastian Sequoiah-Grayson)内涵逻辑 intensional (Melvin Fitting)直觉主义逻辑 intuitionistic (Joan Moschovakis)确证逻辑 justification (Sergei Artemov and Melvin Fitting)线性逻辑 linear (Roberto Di Cosmo and Dale Miller)*基于逻辑的人工智能——见人工智能：基于逻辑的人工智能 logic-based artificial intelligence — see artificial intelligence: logic-based多类逻辑 many-sorted (María Manzano and Víctor Aranda)多值逻辑 many-valued (Siegfried Gottwald)*物质名词——见物质名词：物质名词的逻辑 of mass expressions — see mass expressions: logic of模态逻辑 modal (James Garson)*自然演绎系统——见逻辑学中的自然演绎系统 natural deduction systems in — see natural deduction systems in logic非单调逻辑 non-monotonic (Christian Strasser and G. Aldo Antonelli)次协调逻辑 paraconsistent (Graham Priest, Koji Tanaka, and Zach Weber)逻辑与概率 and probability (Lorenz Demey, Barteld Kooi, and Joshua Sack)命题逻辑 propositional (Curtis Franks)命题动态逻辑 propositional dynamic (Nicolas Troquard and Philippe Balbiani)可证性逻辑 provability (Rineke (L.C.) Verbrugge)相干逻辑 relevance (Edwin Mares)二阶逻辑与高阶逻辑 second-order and higher-order (Jouko Väänänen)*句子连接词——见连接词：形式逻辑中的句子连接词 sentence connectives in — see connectives: sentence connectives in formal logic子结构逻辑 substructural (Greg Restall)时间逻辑 temporal (Valentin Goranko and Antje Rumberg)
上一页洛克的政治哲学 political philosophy (Alex Tuckness)下一页行动的逻辑 action (Krister Segerberg, John-Jules Meyer, and Marcus Kracht)
最后更新于
