搜索页_Justification+logic

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(4)	SpringerLink电子期刊(263)	NATURE电子期刊(10)	Elsevier电子期刊(129)
Springer电子图书(6)	ProQuest学位论文(36)	GSW全文库(1)	ACS电子期刊(1)

在“SpringerLink电子期刊”中，命中：263条，耗时：小于0.01 秒

在所有数据库中总计命中：450条

1. Quasi-Realization

关键词：Justification logic ; Modal logic ; Realization ; Quasi ; Realization ; Tableau ; Prolog

刊名：Lecture Notes in Computer Science

出版年：2017

2. The Complexity of Non-Iterated Probabilistic Justification Logic

关键词：Justification logic ; Probabilistic logic ; Complexity ; Derivability ; Satisfiability

刊名：Lecture Notes in Computer Science

出版年：2016

3. Probabilistic Justification Logic

关键词：Justification logic ; Probabilistic logic ; Strong completeness ; Decidability ; Lottery paradox

刊名：Lecture Notes in Computer Science

出版年：2016

4. Ancient Indian Logic and Analogy

刊名：Lecture Notes in Computer Science

出版年：2017

5. A temporal defeasible logic for handling access control policies

作者： Khair Eddin Sabri ; Nadim Obeid

关键词：Access control policies ; Defeasible logic ; Temporal logic

刊名：Applied Intelligence

出版年：2016

6. Ajdukiewicz on justifying the laws of logic

作者： Marek Lechniak

关键词：Ajdukiewicz ; Justification of deduction ; Empiricism ; Conventionalism

刊名：Studies in East European Thought

出版年：2016

7. On Dummett’s verificationist justification procedure

作者： Wagner de Campos Sanz ; Hermógenes Oliveira

关键词：Proof ; theoretic semantics ; Intuitionistic logic ; Constructive semantics ; Semantic verificationism

刊名：Synthese

出版年：2016

8. A Curry–Howard View of Basic Justification Logic

刊名：Lecture Notes in Computer Science

出版年：2016

9. On Aggregating Probabilistic Evidence

关键词：Probability ; Evidence ; Aggregation ; Justification logic

刊名：Lecture Notes in Computer Science

出版年：2016

10. Ideal rationality and logical omniscience

作者： Declan Smithies

关键词：Logical omniscience ; Apriori justification ; Propositional justification ; Doxastic justification ; Epistemic idealization ; Higher ; order evidence ; Defeaters ; Ideally rational agents

刊名：Synthese

出版年：2015

1

2

3

4

5

6

7

8

9

按检索点细分(263)

题名(26)

关键词(28)

文摘(234)

按出版年细分(263)

2017年(2)

2016年(17)

2015年(25)

2014年(24)

2013年(26)

2012年(17)

2011年(3)

2010年(10)

2009年(13)

2008年(30)

2007年(19)

2006年(21)

2005年(12)

2004年(8)

2003年(7)

2001年(10)

2000年(4)

2000年及以前(15)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700