搜索页_+Kripke

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(756)

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

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

1. Deciding logics of linear Kripke frames with scattered end pieces

作者： Arnold Beckmann ; Norbert Preining

刊名：Soft Computing

出版年：2017

2. Normal Modal Logics Determined by Aligned Clusters

作者： Zofia Kostrzycka ; Yutaka Miyazaki

关键词：Brouwer modal logic ; Kripke frames ; Characteristic formulas ; Normal extensions

刊名：Studia Logica

出版年：2017

3. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

作者： Wesley H. Holliday

关键词：Medvedev frames ; Modal logic ; Definability ; Nominal tense logic ; Difference modality ; Complement modality ; Axiomatizability ; Kripke frame incompleteness

刊名：Studia Logica

出版年：2017

4. Subintuitionistic Logics with Kripke Semantics

关键词：Subintuitionistic logic ; Intuitionistic logic ; Basic logic ; Conservativity ; Completeness ; Modus ponens

刊名：Lecture Notes in Computer Science

出版年：2017

5. Adding a Conditional to Kripke’s Theory of Truth

作者： Lorenzo Rossi

关键词：Naïve truth ; Kripke’s theory of truth ; Field’s theories of truth ; Conditional connective ; Łukasiewicz logics ; Partial semantics

刊名：Journal of Philosophical Logic

出版年：2016

6. Subminimal negation

作者： Almudena Colacito ; Dick de Jongh ; Ana Lucia Vargas

刊名：Soft Computing

出版年：2017

7. Complete Abstractions and Subclassical Modal Logics

刊名：Lecture Notes in Computer Science

出版年：2017

8. Deriving Natural Deduction Rules from Truth Tables

刊名：Lecture Notes in Computer Science

出版年：2017

9. Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

作者： Paolo Galeazzi ; Emiliano Lorini

刊名：Synthese

出版年：2016

10. A Semantic Approach to Conservativity

作者： Tomasz Połacik

关键词：Classical and intuitionistic first order theories ; Conservativity ; Kripke models

刊名：Studia Logica

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(756)

题名(82)

作者(21)

关键词(212)

文摘(652)

按出版年细分(756)

2017年(7)

2016年(40)

2015年(46)

2014年(32)

2013年(60)

2012年(48)

2011年(25)

2010年(35)

2009年(44)

2008年(44)

2007年(67)

2006年(56)

2005年(71)

2004年(22)

2003年(24)

2002年(43)

2001年(14)

2000年(19)

2000年及以前(59)

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

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

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

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