×

应用非经典逻辑杂志

简短标题: J.应用。非类别。日志。
出版商: 泰勒和弗朗西斯
国际标准编号: 1166-3081; 1958-5780/年
在线: http://www.tandfonline.com/loi/tncl20
http://jancl.revuesonline.com/resnum.jsp
评论: 期刊;索引封面到封面
已编制索引的文档: 547出版物(自1991年起)
引用索引: 512出版物参考文献14425。
全部的 前5名

最新问题

34,编号1(2024)
33,编号3-4(2023)
33,编号2(2023)
33,编号1(2023)
32,编号4(2022)
32,编号2-3(2022)
32,编号1(2022)
31,编号3-4(2021)
31,编号2(2021)
31,编号1(2021)
30,第4期(2020年)
30,第3期(2020年)
30,第2期(2020年)
30,第1期(2020年)
29,第4号(2019)
29,第3号(2019)
29,第2号(2019)
292019年第1期
28,第4号(2018)
28,编号2-3(2018)
282018年第1期
27,第3-4号(2017)
272017年第1-2号
262016年第4号
262016年第3号
262016年第2期
262016年第1期
25,第4号(2015年)
252015年第3期
252015年第2期
252015年第1期
242014年第4号
24,第3号(2014)
242014年第1-2号
232013年第4号
232013年第3期
23,第1-2号(2013)
222012年第4号
222012年第3号
222012年第1-2号
21,编号3-4(2011)
212011年第2期
21,第1号(2011年)
202010年第4期
202010年第3期
20,第1-2号(2010)
19,第4号(2009年)
192009年第3期
192009年第2期
192009年第1期
182008年第4号
182008年第2-3号
182008年第1期
172007年第4号
172007年第3号
172007年第2期
172007年第1期
162006年第3-4号
162006年第1-2号
152005年第4号
152005年第3期
152005年第2期
15,第1号(2005年)
142004年第4期
142004年第3期
14,第1-2号(2004)
13,第3-4号(2003)
132003年第2期
13,第1期(2003)
12,第3-4号(2002)
122002年第2期
12,第1期(2002年)
11,第3-4号(2001)
112001年第1-2号
102000年第3-4号
102000年第2期
10,第1号(2000年)
9,第4号(1999)
9,第2-3号(1999)
9,第1期(1999年)
8,第4号(1998年)
8,第3号(1998年)
8,第1-2号(1998年)
7,第4号(1997)
7,第3号(1997)
7,第1-2号(1997)
6,第4号(1996年)
6,第3号(1996)
6,第2号(1996)
6,第1号(1996)
51995年第2期
5,第1期(1995年)
41994年第2期
41994年第1期
,第2号(1993)
,第1号(1993)
2,第2号(1992年)
2,第1期(1992年)
1,第2期(1991年)
1,第1期(1991年)
全部的 前5名

作者

16 菲利普·巴尔比亚尼
9 安德烈亚斯·赫齐格
9 或者艾瓦·奥斯卡。
9 杰玛·罗伯斯
7 瓦伦丁·F·戈兰科。
7 何塞·梅恩德斯。
7 迪米特·瓦卡雷洛夫
7 汉斯·皮特·范·迪特马什
6 佩德罗·卡巴拉尔
6 雅罗斯拉夫·伊戈列维奇·彼得鲁金
6 斯扎·阿斯(Szałas)、安德烈吉(Andrzej)
6 van Benthem,Johan F.A.K。
5 罗伯特·德莫洛姆
5 迪迪埃·杜布瓦
5 路易斯·法利尼亚斯·德尔·塞罗
5 Dimitar P.Guelev。
5 科斯塔斯·库特拉斯。
5 亨利·普拉德。
4 Jan A.Bergstra。
4 菲利普·贝斯纳德
4 查克拉博蒂,米希尔·库马尔
4 玛尔塔·恰尔迪亚·梅耶
4 Stéphane P.德姆里。
4 马丁·迪盖兹
4 伊沃·杜恩施
4 加贝,多夫·M。
4 艾哈迈德、塔雷克说
4 卡尔·施莱赫塔
4 廷切夫、廷科
托马斯·奥戈特内斯
阿古德洛·阿古德罗,胡安·C。
莱拉·阿姆古德
纪尧姆拍卖行
塞勒姆·本费哈特
伊莎贝尔·布洛赫
布罗森,Jan M。
塞拉尼、塞尔吉奥·阿图罗
塞里托、塞雷内拉
马塞洛·埃斯特班(Marcelo Esteban Coniglio)
佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达
乔伊格登·根瑟
路易斯·戈多
乔安娜·戈林斯卡·皮拉雷克
赫里萨菲斯·哈托纳斯
安东尼·亨特
诺里希罗·卡米德
塞巴斯蒂安·科尼埃奇尼
Konikowska,比塔
埃米利亚诺·洛里尼
安德烈亚·马西尼
安吉洛·蒙塔纳里
Moszkowski,Ben C。
阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。
卡里姆·努尔
皮诺·佩雷斯,拉蒙
阿尔班·蓬塞
阿列克谢·潘科(Alexej P.Pynko)。
弗拉基米尔·弗拉迪米洛维奇·里巴科夫
Sagastume、Marta S。
托尔斯滕·绍布(Torsten H.Schaub)。
范德霍克,威比
范德托雷,Leendert W.N。
伊万·约瑟·瓦尔津扎克
瓦格纳,格尔德
海因里希·西奥多
吴金钊
2 费利西达·阿瓜多
2 何塞·朱利奥·阿尔弗雷斯
2 斯特凡诺·巴拉泰拉
2 亚历克斯·贝里科夫
2 劳伦斯·彼得·贝卢斯
2 布兰登·贝内特
2 英格·贝斯克
2 阿尔弗雷多·布里耶扎
2 沃尔特·亚历山大·卡尼埃利
2 克拉克,迈克尔·R·B。
2 威廉·康雷迪
2 苏珊娜·库比略
2 布鲁诺·达雷
2 梅迪·达斯坦尼(Mehdi M.Dastani)。
2 安东尼奥·迪·诺拉
2 克莱尔·狄克逊
2 帕特里克·多尔蒂
2 德奥塔维亚诺,伊塔拉·洛夫雷多
2 西尔维·多特
2 乔里·恩格弗里特
2 亚历杭德罗·埃斯特拉达
2 范晓聪
2 弗南德斯(Víctor L.Fernández)。
2 迈克尔·费希尔
2 安德烈亚·福米萨诺
2 法语,蒂姆
2 克莉丝汀·弗罗伊德沃
2 亚历杭德罗·哈维尔·加西亚
2 康斯坦蒂诺斯·乔治亚托斯
2 里卡多·贡萨阿尔维斯
2 约翰·格兰特。
2 埃里克·格雷戈伊尔
2 斯文·奥夫·汉森
2 伯恩哈德·海尼曼
…还有572名作者

按年份列出的出版物

zbMATH Open中包含的引文

353出版物有被引用2251中的次1778文件 引用人 年份
信念修正的动态逻辑。 Zbl 1186.03033号
约翰·范·本特姆
140
2007
具有可取消优先级的基于参数的扩展逻辑编程。 Zbl 0877.68019号
亨利·普拉肯;乔瓦尼·萨托
89
1997
偏好升级的动态逻辑。 Zbl 1186.03034号
约翰·范·本特姆;刘芬荣
77
2007
单智能体和多智能体系统的认知规划。 Zbl 1242.68285号
托马斯·博兰德;米克尔·比凯加德·安徒生(Mikkel Birkegaard Andersen)
52
2011
具有强诱导否定的左连续三角范数的结构。一: 旋转构造。 Zbl 1033.03512号
桑多·杰内
41
2000
具有强诱导否定的左连续三角范数的结构。II: 旋转湮灭构造。 Zbl 1037.03508号
桑多·杰内
40
2001
具有贝尔纳普真值的模态逻辑。 Zbl 1242.03050号
谢尔盖·奥丁佐夫。;海因里希·瓦辛
36
2010
半重视觉。 Zbl 0869.03017号
斯文·汉森
35
1997
建设性否定、暗示和共同暗示。 Zbl 1181.03027号
海因里希·瓦辛
34
2008
通过约简公理实现公共更新逻辑的表达性和完整性。 Zbl 1185.03014号
巴特尔·库伊
32
2007
建构性知识:代理人在不完全信息下可以实现什么。 Zbl 1186.03031号
沃伊切赫·贾姆罗加;托马斯·奥戈特内斯
32
2007
一些基于区域的空间理论的近似方法。 Zbl 1185.68682号
迪米特·瓦卡雷洛夫;乔治·迪莫夫;伊沃·杜恩施;布兰登·贝内特
32
2002
时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号
V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。
31
2004
正常逻辑程序和命题理论的一些可译性结果。 Zbl 1184.68160号
汤米·詹胡宁
31
2006
Belnap四值逻辑及其展开式中的函数完备性和公理化。 Zbl 1033.03017号
阿列克谢·潘科(Alexej P.Pynko)。
27
1999
一致性下的概率逻辑、模型理论概率逻辑和系统(P)中的默认推理。 Zbl 1038.03023号
维罗妮卡·比亚佐;吉利奥,安吉洛;托马斯·卢卡西维奇;朱塞佩·桑菲利波
26
2002
无穷多的超级抢答逻辑。 Zbl 1398.03112号
翁贝托·里维奇奥
25
2012
有四个值的命题逻辑:真、假、发散和无意义。 Zbl 0843.03012号
Jan A.Bergstra。;英格·贝斯克;彼得罗登堡
24
1995
“到处”和“这里”。 Zbl 0993.03020号
Shehtman,瓦伦丁
23
1999
理论模型的易处理计数及其在真理维护和信念修正中的应用。 Zbl 1033.03505号
阿德南·达尔维切
23
2001
逻辑中的知识、不确定性和无知:双重性和超越性。 Zbl 0993.03079号
乔治·加戈夫
21
1999
模态化海廷演算:直觉逻辑的保守模态扩展。 兹比尔1186.03043
利奥·伊萨基亚
20
2006
分布式知识。 Zbl 1186.03032号
弗洛里斯·罗洛夫森
20
2007
概念主义的计算解释。 Zbl 1398.03142号
T.M.弗格森。
19
2014
在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号
达米安·恩里克·斯穆克
19
2016
论牧师的悖论逻辑。 Zbl 0841.03008号
阿列克谢·潘科(Alexej P.Pynko)。
18
1995
时间均衡逻辑:一项调查。 Zbl 1400.68199号
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔
17
2013
迭代修订的框架。 Zbl 1033.03506号
塞巴斯蒂安·科尼埃奇尼;拉蒙皮诺·佩雷斯
16
2000
MV-代数的种类。 Zbl 1031.06010号
乔瓦尼·潘蒂
16
1999
平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号
斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert)
16
2010
常识的理由。 Zbl 1242.03036号
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德
16
2011
抽象论证框架的逻辑限制。 Zbl 1400.68201号
莱拉·阿姆古德;菲利普·贝斯纳德
16
2013
关于分级模态的语义。 Zbl 0797.03013号
范德霍克,威比
15
1992
关于逻辑(P_FD)的一些考虑。模态和概率相结合的逻辑。 Zbl 0885.03022号
范德霍克,威比
15
1997
分级结果:进一步研究。 Zbl 0839.03010号
查克拉博蒂,M.K。
15
1995
关于近似推理中的结果。 Zbl 0794.03032号
卡斯特罗,J.L。;特里拉斯,E。;库比略,S。
13
1994
(文本{G}'_3)逻辑的简要研究。 Zbl 1180.03031号
毛里西奥·奥索里奥·加林多;JoséLuis Carbarlido Carranza
13
2008
计算广义特异性。 Zbl 1185.68679号
弗里德·斯托尔森堡;亚历杭德罗·加西亚。;卡洛斯·切斯尼瓦尔。;吉列尔莫·西马里。
13
2003
在空间中的模式漫步。 Zbl 1185.03060号
马可·艾略;约翰·范·本特姆
13
2002
从KLM风格的条件句到可废除的模式,再到后面。 Zbl 1436.03129号
卡塔琳娜·布里茨;伊万·瓦尔津扎克
13
2018
分级结果关系和模糊闭包算子。 Zbl 0872.03012号
Giangiacomo Gerla
12
1996
基于数学形态学的模态逻辑用于定性空间推理。 Zbl 1185.03025号
伊莎贝尔·布洛赫
12
2002
线性时间一阶时序逻辑的可判定性和不完全性结果。 Zbl 0790.03019号
斯蒂芬·默兹
11
1992
一种基于表格的知识和信念时序逻辑证明方法。 Zbl 0926.03011号
迈克尔·伍尔德里奇;克莱尔·狄克逊;迈克尔·费希尔
11
1998
基于BDD的模态逻辑决策程序K(K). Zbl 1184.68466号
潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。
11
2006
回归和认识规划的DEL序列。 Zbl 1398.03068号
纪尧姆拍卖行
11
2012
具有两个指定值的Kleene强三值矩阵的自然蕴涵展开的Belnap-Dunn语义。 Zbl 1444.03092号
杰玛·罗伯斯;何塞·梅恩德斯。
10
2019
关于认知似然模型的模型理论的一些评论。 Zbl 1242.03037号
洛伦兹·德米
10
2011
具有有限时间的命题区间时间逻辑的一个层次完备性证明。 Zbl 1181.03015号
莫斯科夫斯基,B。
10
2004
一些弱的基于经典的次协调逻辑的可能翻译语义。 Zbl 1187.03025号
乔安·马科斯
10
2008
区域连接演算的标准模型。 Zbl 1185.03061号
Jochen伦茨
10
2002
哪些组,可以做,和知道他们可以做:在正常模态逻辑中进行分析。 Zbl 1210.03015号
简·布罗森;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德
10
2009
分离逻辑和方式:一项调查。 Zbl 1398.03151号
斯特凡·德姆里;Deters,摩根
10
2015
基于Shannon熵和Huffman编码的模糊概念格约简。 Zbl 1400.68209号
普雷姆·库马尔·辛格;阿卜杜拉·加尼
10
2015
元推理逻辑的一个家族。 Zbl 1444.03084号
费德里科·马蒂亚斯·佩洛斯
9
2019
具有相对可及性关系的模态逻辑层次。 Zbl 0989.03018号
菲利普·巴尔比亚尼;埃瓦州奥洛斯卡
9
1999
带有程序交集的PDL:一个完整的公理化。 Zbl 1181.03030号
巴尔比亚尼,P。;瓦卡列洛夫,D。
9
2003
将估值与社会语义相结合。 Zbl 1185.03055号
弗南德斯(Víctor L.Fernández)。;马塞洛·科尼格里奥(Marcelo E.Coniglio)。
9
2003
断言图。 Zbl 1436.03020号
F.贝鲁奇。;丹尼尔·奇菲;皮特里宁,A.-V。
9
2018
关于三值逻辑的六值扩张的注记。 Zbl 0806.03019号
字体,Josep M。;马苏德·穆萨维
8
1993
弱Kleene逻辑的语义分析。 兹比尔1444.03087
罗伯托·齐尼;马西米利亚诺·卡拉拉
8
2019
几何的模态多重逻辑。 Zbl 0921.03022号
菲利普·巴尔比亚尼
8
1998
局部可能性逻辑。 Zbl 0886.03018号
卢卡·博尔德林;克劳迪奥·索塞
8
1997
具有四值逻辑的进程代数。 Zbl 1036.68067号
Jan A.Bergstra。;阿尔班·蓬塞
8
2000
规则双瓣。 Zbl 1031.06005号
阿列克谢·潘科(Alexej P.Pynko)。
8
2000
一种多维术语知识表示语言。 Zbl 0845.68098号
弗兰兹·巴德;汉斯·尤根·奥巴赫
8
1995
模态逻辑中的回归。 Zbl 1185.03028号
罗伯特·德莫洛姆;安德烈亚斯·赫齐格;伊万·瓦尔津扎克
8
2003
\(mu)-程序,模态逻辑的统一插值和互模拟量词。 Zbl 1186.03054号
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐;法语,蒂姆
8
2006
KAT-ML:带测试的Kleene代数交互式定理证明程序。 Zbl 1184.68457号
卡马尔·阿布尔·霍恩;德克斯特·科赞
8
2006
基于规则的系统的基础\(\rho\,\text{Log}\)。 Zbl 1184.68175号
马林·米尔恰;特穆尔库西亚
8
2006
关于组合运算的语义。 Zbl 1041.68095号
托马斯·梅耶
7
2001
基于信念序列的相关敏感非单调推理。 兹比尔1041.68093
萨米尔·乔普拉;康斯坦蒂诺斯·乔治亚托斯;罗希特·帕里赫
7
2001
模态定理证明器的实证分析。 Zbl 1033.03501号
乌尔里希·赫斯塔特;雷娜特·施密特(Renate A.Schmidt)。
7
1999
XPath的一些模态方面。 兹比尔1242.68010
10个Cate,Balder;盖尔·方丹;塔德乌兹·利塔克
7
2010
连续性、自由度和过滤。 Zbl 1242.03049号
西尔维奥·吉拉尔迪
7
2010
多子集空间的逻辑。 Zbl 1242.03039号
伯恩哈德·海尼曼
7
2010
弱多值模态公理及其相应的框架类的目录。 Zbl 1185.03031号
科斯塔斯·库特拉斯。
7
2003
有序树的PDL。 Zbl 1185.03056号
洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克
7
2005
关于DLS的强度和范围。 Zbl 1186.03042号
威廉·康雷迪
7
2006
非阿基米德模糊逻辑和概率逻辑。 Zbl 1187.03024号
安德鲁·舒曼
7
2008
优先逻辑路线图。 Zbl 1187.03026号
加贝,多夫·M。;卡尔·施莱赫塔
7
2009
安全协议的LTL模型检查。 Zbl 1186.68276号
亚历山德罗·阿曼多;罗伯托·卡蓬;卢卡·孔帕尼亚
7
2009
答案集编程中基于模型的重铸。 Zbl 1400.68048号
托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰
7
2013
一个模态理论提供了一类不完全信息三值逻辑的翻译。 Zbl 1398.03107号
丘奇,D。;杜布瓦,D。
7
2013
时态STIT逻辑及其在规范推理中的应用。 Zbl 1398.03080号
埃米利亚诺·洛里尼
7
2013
纠正的措辞和真理引理的证明APAL公司. Zbl 1398.03069号
菲利普·巴尔比亚尼
7
2015
某些模态系统的有限非确定性语义。 Zbl 1398.03089号
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。
7
2015
Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 兹比尔1484.03043
杰玛·罗伯斯;弗朗西斯科·萨尔托;何塞·梅恩德斯。
7
2019
具有描述的语义封闭理论的平凡对象和非平凡性。 Zbl 0934.03035号
格雷厄姆牧师
6
1998
模糊逻辑中的量词、修饰语和限定词。 Zbl 0885.03024号
英明生;伯纳黛特·布琼·梅尼尔
6
1997
作为演绎的模糊推理。 Zbl 1033.03018号
路易斯·戈多;彼得·哈耶克
6
1999
利用多值逻辑中的数据相关性。 Zbl 0836.03013号
雷纳·哈内尔
6
1996
知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 Zbl 1242.68161号
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳
6
2011
组合模型。 Zbl 1242.03043号
范·艾伊克(Jan van Eijck);Sietsma,地板;王燕京
6
2011
直觉主义命题逻辑及其片段的复杂性。 Zbl 1181.03006号
米哈伊尔·里巴科夫
6
2008
将信念库合并为游戏。 Zbl 1185.68693号
塞巴斯蒂安·科尼埃奇尼
6
2004
在混合多模态逻辑中建模半结构化数据的第一步。 Zbl 1185.68290号
尼科尔·比多特;塞里托、塞雷内拉;弗吉尼亚州蒂恩
6
2004
超一致性、超完整性、Gentzen系统和三价语义。 Zbl 1398.03135号
阿诺·阿夫隆
6
2014
子结构认识逻辑。 Zbl 1398.03074号
伊戈尔·塞德拉尔
6
2015
二比三:在三值谓词演算上用于软件规范和验证的二值逻辑。 兹伯利0802.03028
Konikowska,比塔
5
1993
一种基本的信念函数逻辑。 Zbl 07757223号
迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德
1
2023
感染性和透明的情感主义。 Zbl 1517.03027号
杰里迈亚·乔文
2
2022
一种用于正向和反向抽象论证问题的贝叶斯方法。 Zbl 1517.68358号
Hiroyuki Kido;辽、北水
1
2022
一类真正的和非代数化的C系统。 Zbl 1515.03127号
毛里西奥索里奥;阿尔多·菲加洛·奥雷拉诺;米盖尔·佩雷斯·加斯帕
2
2021
测量一些分支时间逻辑中的不一致性。 Zbl 1515.03083号
约翰·格兰特
2
2021
退化过程的认识空间。 Zbl 1516.68096号
杨、刘;安托万·劳西
1
2021
元推理二重性。 Zbl 1486.03043号
布鲁诺·达雷;费德里科·佩洛斯;达米安·斯穆克;Paula Teijeiro
5
2020
准确无误的逻辑符合感染性逻辑。 Zbl 1486.03047号
亚历克斯·贝里科夫;雅罗斯拉夫·彼得鲁金
2020
一阶弱Kleene逻辑的结构证明理论。 Zbl 1486.03048号
安德烈亚斯·费尔斯塔德
2020
变量包含逻辑和结果关系格。 Zbl 1486.03020号
米歇尔·普拉·巴尔迪
2020
关于搜索解释性论证图。 兹比尔1486.68185
雷吉斯·里维雷特
2
2020
子结构逻辑的模态翻译。 Zbl 1452.03057号
Chrysafis哈托纳斯
2
2020
消极信任的逻辑。 Zbl 1486.03053号
G.Primiero。
1
2020
Hájek的BL和psBL的非结合推广的公理化。 Zbl 1436.03160号
雅罗斯拉夫·彼得鲁金
1
2020
模态变化的逻辑LMC。 Zbl 1452.03060号
马钦·伊扎克
1
2020
直觉主义性质的基本准布尔逻辑。 Zbl 1486.03044号
杰玛·罗伯斯
1
2020
具有两个指定值的Kleene强三值矩阵的自然关联展开的Belnap-Dunn语义。 Zbl 1444.03092号
杰玛·罗伯斯;何塞·梅恩德斯。
10
2019
元推理逻辑的一个家族。 Zbl 1444.03084号
费德里科·马蒂亚斯·佩洛斯
9
2019
弱Kleene逻辑的语义分析。 Zbl 1444.03087号
罗伯托·齐尼;马西米利亚诺·卡拉拉
8
2019
Kleene强三值矩阵自然关联展开的Belnap-Dunn语义。II:只有一个指定值。 Zbl 1484.03043号
杰玛·罗伯斯;弗朗西斯科·萨尔托;何塞·梅恩德斯。
7
2019
格逻辑是(2分类)剩余模态逻辑的一个片段。 Zbl 1444.03057号
赫里萨菲斯·哈托纳斯
4
2019
多重格逻辑代数完备性定理的两个证明。 Zbl 1444.03089号
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金
4
2019
基于分层机构中数学形态学的逻辑对偶概念:在空间推理中的应用。 兹比尔1444.03183
马克·艾吉尔;伊莎贝尔·布洛赫
4
2019
公理和对偶系统用于构造必要性,一种经过正式验证的等价性。 兹比尔1444.03054
González Huesca,Lourdes del Carmen酒店;Miranda-Perea,Favio E。;Linares-Arévalo,P.Selene
4
2019
MVW钻机和产品MV-代数。 Zbl 1439.06008号
亚历杭德罗·埃斯特拉达;尤里·波维达。
2
2019
从属Tarski代数。 Zbl 1444.03180号
塞尔吉奥·塞拉尼。
2
2019
论维达尔对数学中有缺陷条件的三价解释。 Zbl 1444.03091号
雅罗斯拉夫·彼得鲁金;瓦西里·沙金
1
2019
从KLM风格的条件句到可废除的模式,再到后面。 Zbl 1436.03129号
卡塔琳娜·布里茨;伊万·瓦尔津扎克
13
2018
自信的图形。 Zbl 1436.03020号
F.贝鲁奇。;丹尼尔·奇菲;彼得雷宁(A.-V.)。
9
2018
没有标准模型的真相:重新加载了一些概念问题。 Zbl 1436.03016号
爱德华多·巴里奥;布鲁诺·达雷
2018
论证框架中的诱拐。 Zbl 1436.68328号
千木坂间
2018
连续命题模态逻辑。 Zbl 1436.03127号
斯特凡诺·巴拉泰拉
2
2018
模糊内涵语义。 Zbl 1499.03020号
利波·Běhounek;Ondrej Majer
2
2018
关于构成规范和监管规范的争论。 Zbl 1436.03141号
加布里埃拉·皮戈齐;范德托雷、伦德特
2
2018
抽象论证框架中的初始集合。 Zbl 1436.68329号
徐玉明;克劳德特·凯罗尔
2
2018
道士逻辑:一种新方法。 Zbl 1436.03115号
丹尼尔·Rönnedal
1
2018
自由短路逻辑的独立公理化。 Zbl 1436.03178号
阿尔班·蓬塞;Daan J.C.斯塔特。
1
2018
扩展分配接触格的逻辑。 Zbl 1436.03169号
伊万诺娃,塔季扬娜
1
2018
\(KD)为空。 Zbl 1398.03086号
菲利普·巴尔比亚尼;乔丹·根瑟
4
2017
认识逻辑中的统一。 Zbl 1398.03070号
菲利普·巴尔比亚尼;乔丹·根瑟
2017
动态认知逻辑的一般框架:走向规范对应。 Zbl 1398.03073号
Motoura、Shota
2
2017
非经典逻辑中的判断聚合。 Zbl 1398.03102号
丹尼尔·波雷洛
2
2017
具有过去运算符的时间平衡逻辑。 Zbl 1398.03077号
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔
2
2017
论证逻辑的基础。 Zbl 1398.03066号
莱拉·阿姆古德;菲利普·贝斯纳德;安东尼·亨特
2
2017
基于序列代数的单拓扑。 Zbl 1398.03147号
迪米特·瓦卡雷洛夫
2
2017
所有KD45帧类中的可定义性–可计算性和复杂性。 Zbl 1398.03093号
乔治耶夫,D.T。
1
2017
路易斯·法利尼亚斯·德尔·塞罗的简短传记。 Zbl 1401.01029号
佩德罗·卡巴拉尔;马丁·迪盖兹;安德烈亚斯·赫齐格;大卫·皮尔斯
1
2017
论可能性逻辑与信念和知识的模态逻辑的关系。 Zbl 1398.03128号
莫华·班纳吉;迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德
1
2017
稳定的推理。 兹比尔1400.68203
佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯丁,巴尔韦德
1
2017
在沟通的背景下,对信任和相关性进行推理。 Zbl 1400.68236号
罗伯特·德莫洛姆
1
2017
混合代数及其逻辑。 Zbl 1398.03209号
伊沃·杜恩施;或者鄂尔多斯卡;廷切夫、廷科
1
2017
动态认知逻辑:承诺、问题、缺点和观点。 Zbl 1398.03072号
安德烈亚斯·赫齐格
1
2017
在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号
达米安·恩里克·斯穆克
19
2016
由Anderson和Belnap的一级蕴涵逻辑的Smiley矩阵决定的逻辑。 Zbl 1398.03109号
何塞·梅恩德斯。;杰玛·罗伯斯
5
2016
偶然性逻辑中的命题量化。 Zbl 1398.03098号
汉斯·范·迪特马什;范洁
4
2016
知识意味着“全部的',信念意味着'’. Zbl 1398.03067号
迪米特里斯·阿斯库尼斯;科斯塔斯·库特拉斯。;尤戈斯·齐科斯
4
2016
有限解释中一般概念包含的公理化。 Zbl 1400.68206号
博奇曼,D。;Distel,F。;克里格尔,F。
2016
正交模量子逻辑的一阶框架。 Zbl 1398.03211号
赫里萨菲斯·哈托纳斯
2016
勘误表和补遗:“某些模态系统的有限非确定性语义”。 Zbl 1398.03090号
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。
2016
命题逻辑的多项式语义。 Zbl 1398.03134号
阿古德洛·阿古德罗,胡安·C。;阿古德洛·冈萨雷斯(Carlos A.Agudelo-González)。;加西亚·金特罗,奥斯卡·E。
2
2016
一些非经典逻辑的博弈论语义。 Zbl 1398.03136号
堪萨斯州巴什肯特
2
2016
单体逻辑和子结构逻辑的比较。 Zbl 1398.03101号
克莱顿·彼得森
1
2016
为“因为”的逻辑辩护。 Zbl 1398.03036号
Schnieder,B。
1
2016
关于结果结构范畴中的一个仿一致函子。 Zbl 1398.03140号
埃德尔西奥·德索萨(Edelcio G.de Souza)。;亚历山大·科斯塔·莱特;迪亚斯,迪奥戈·H·B。
1
2016
分离逻辑和方式:一项调查。 Zbl 1398.03151号
斯特凡·德姆里;Deters,摩根
10
2015
基于Shannon熵和Huffman编码的模糊概念格约简。 Zbl 1400.68209号
普雷姆·库马尔·辛格;阿卜杜拉·加尼
10
2015
纠正的措辞和真理引理的证明亚太地区. Zbl 1398.03069号
菲利普·巴尔比亚尼
7
2015
某些模态系统的有限非确定性语义。 Zbl 1398.03089号
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·M·。
7
2015
亚结构认知逻辑。 Zbl 1398.03074号
伊戈尔·塞德拉尔
6
2015
一种新的理由逻辑框架。 Zbl 1398.03071号
亚历山德罗·佐丹尼
2
2015
“因为”逻辑的问题。 Zbl 1398.03045号
Tsohatzidis,Savas L。
1
2015
关于分数的亚一致性和推理的注释。 Zbl 1398.03137号
Jan A.Bergstra。;英格·贝斯克
1
2015
多元MV-代数中的可变插值和合并。 Zbl 1398.06009号
塔雷克·艾哈迈德
1
2015
稳健性逻辑的表达性和简洁性。 Zbl 1400.68137号
John C.McCabe-Dansted。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹
1
2015
概念主义的计算解释。 Zbl 1398.03142号
T.M.弗格森。
19
2014
超一致性、超完整性、Gentzen系统和三价语义。 Zbl 1398.03135号
阿诺·阿夫隆
6
2014
前言:三值逻辑及其应用。 兹比尔1398.00089
巴勃罗·科布雷罗斯;保罗·埃格里;戴维·里普利;罗伯特·范·罗伊
5
2014
用三价语义捕捉条件和条件概率之间的关系。 Zbl 1398.03105号
丹尼尔·罗斯柴尔德
5
2014
数学中有缺陷的条件句。 Zbl 1398.03047号
马修·维达尔
4
2014
基于逻辑的论证中的等效性。 Zbl 1400.68202号
莱拉·阿姆古德;菲利普·贝斯纳德;斯尔詹·维西奇
4
2014
Routey-Meyer语义中没有指定点的非相关De Morgan最小逻辑。 Zbl 1398.03103号
杰玛·罗伯斯;何塞·梅恩德斯。
4
2014
命题非正规模态逻辑的多关系语义变体。 Zbl 1398.03088号
埃里卡·卡拉多;安东尼诺·罗托洛
2014
由含常数的Lambek演算的L模型产生的三价逻辑。 Zbl 1398.03100号
库兹涅佐夫,S.L。
2
2014
最小模型与逻辑编程:反事实条件句的案例。 Zbl 1398.03145号
凯特琳·舒尔茨
2
2014
在弱完成和良好语义基础下对抑制任务进行建模。 Zbl 1398.03152号
艾曼纽尔·安娜迪茨;斯特芬·Hölldobler;Christoph Wernhard公司
1
2014
关于预设投射的某些三价解释的一些评论。 兹比尔1398.03149
本杰明·乔治。
1
2014
关于\(k\)值克隆的Gupta-Belnap定点属性的备注。 Zbl 1398.03108号
何塞·马丁内斯·费尔南德斯
1
2014
重温了Prior的OIC非保守性示例。 兹比尔1398.03141
劳埃德·亨伯斯通
1
2014
时间均衡逻辑:一项调查。 Zbl 1400.68199号
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔
17
2013
抽象论证框架的逻辑限制。 Zbl 1400.68201号
莱拉·阿姆古德;菲利普·贝斯纳德
16
2013
答案集编程中基于模型的重铸。 Zbl 1400.68048号
托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰
7
2013
一个模态理论提供了一类不完全信息三值逻辑的翻译。 Zbl 1398.03107号
丘奇,D。;杜布瓦,D。
7
2013
时序STIT逻辑及其在规范推理中的应用。 Zbl 1398.03080号
埃米利亚诺·洛里尼
7
2013
\(\mathcal的系统描述的一些属性{铝}_d\). Zbl 1400.68207号
迈克尔·盖尔芬德;达尼埃拉·因利赞
5
2013
确定无保护模态演算。 Zbl 1398.03092号
奥利弗·弗里德曼;马丁·兰格
4
2013
SPARQL1.1与答案集编程的关系。 Zbl 1400.68065号
Polleres,阿克塞尔;约翰·彼得·沃纳
2013
多代理可能性逻辑。 Zbl 1400.68217号
阿斯玛·贝尔哈迪;迪迪埃·杜布瓦;费扎·赫拉夫·哈内德;亨利·普拉德
2013
关于次一致答案集语义的演绎基础。 Zbl 1400.68050号
新墨西哥州马亚茨基。;Odintsov,S.P。
2
2013
RASP和ASP是线性逻辑的一部分。 Zbl 1400.68047号
斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺
1
2013
功能完成。 Zbl 1400.68205号
弗拉基米尔·利夫希茨;杨芳凯
1
2013
…还有253个文档
全部的 前5名

被1781位作者引用

45 汉斯·皮特·范·迪特马什
30 van Benthem,Johan F.A.K。
25 菲利普·巴尔比亚尼
21 海因里希·西奥多
19 加贝,多夫·M。
17 托马斯·奥戈特内斯
16 安吉洛·蒙塔纳里
16 吉列尔莫·里卡多·西马里
15 诺里希罗·卡米德
15 佐兰·奥格尼亚诺维奇
15 杰玛·罗伯斯
15 Smets,Sonja J.L。
14 亚历山大·巴尔塔格
14 古拉姆·贝扎尼什维利
14 Stéphane P.德姆里。
14 迪迪埃·杜布瓦
14 路易斯·戈多
14 阿列克谢·潘科(Alexej P.Pynko)。
14 王燕京
13 莱拉·阿姆古德
13 安德烈亚斯·赫齐格
13 埃米利亚诺·洛里尼
13 托尔斯滕·绍布(Torsten H.Schaub)。
13 迪米特·瓦卡雷洛夫
13 费尔南多·雷蒙多(Fernando Raymundo)
12 Jan A.Bergstra。
12 克莱尔·狄克逊
12 瓦伦丁·F·戈兰科。
12 阿尔班·蓬塞
12 托马斯·施图德
11 伊莎贝尔·布洛赫
11 佩德罗·卡巴拉尔
11 何塞·门德斯。
11 谢尔盖·奥丁佐夫。
11 埃里克·帕奎特
11 雅罗斯拉夫·伊戈列维奇·彼得鲁金
11 亨利·普拉德。
11 圭多·西亚维科
11 斯特凡·沃尔特兰
10 奥费尔·阿列利
10 阿诺·阿夫隆
10 吉利奥,安吉洛
10 斯文·奥夫·汉森
10 安东尼·亨特
10 拉蒙皮诺·佩雷斯
10 翁贝托·里维奇奥
10 弗朗索瓦州施瓦岑特鲁伯
10 范德霍克,威比
10 伊万·约瑟·瓦尔津扎克
9 托马斯·博兰德
9 伊沃·杜恩施
9 路易斯·法利尼亚斯·德尔·塞罗
9 沃伊切赫·贾姆罗加
9 桑多·杰内
9 塞巴斯蒂安·科尼埃奇尼
9 艾比克·厄兹根
9 斯扎·阿斯(Szałas)、安德烈吉(Andrzej)
9 弗兰克·沃尔特
9 扎哈里亚舍夫,迈克尔·维克托罗维奇
8 斯特凡诺·邦齐奥
8 查克拉博蒂,米希尔·库马尔
8 马丁·迪盖兹
8 道德,德拉甘
8 马塞洛·阿莱杭德罗·法拉帕
8 加布里埃尔·克恩·伊斯伯纳
8 马明辉
8 帕维尔·G·瑙莫夫。
8 Rašković,Miodrag D。
8 皮埃特罗·萨拉
8 朱塞佩·桑菲利波
8 雅罗斯拉夫·什兰科。
8 达米安·恩里克·斯穆克
8 廷切夫、廷科
7 劳拉·博泽利
7 大卫·布雷索林
7 乔治·迪莫夫。
7 劳尔·费尔瓦里
7 阿兰·芬克尔
7 法语,蒂姆
7 亚历杭德罗·哈维尔·加西亚
7 Dimitar P.Guelev。
7 赫里萨菲斯·哈托纳斯
7 乌尔里希·赫斯塔特
7 巴特尔·皮特·库伊
7 拉德科·梅西亚尔
7 梅西亚罗娃-泽曼科娃,安德里亚
7 或者艾瓦·奥斯卡。
7 费德里科·马蒂亚斯·佩洛斯
7 Rasmus Krmmer Rendsvig
7 胜彦三野
7 杰拉尔多·西马里。
7 托马斯·维特莱恩
6 马里奥·阿尔维亚诺
6 纪尧姆拍卖行
6 莫华·班纳吉
6 彼得罗·巴罗尼
6 尼克·贝扎尼什维利
6 马丁·卡米纳达。
6 塞拉尼、塞尔吉奥·阿图罗
6 卡洛斯·伊万·切斯尼瓦尔
…还有1681位作者
全部的 前5名

132种期刊引用

126 应用非经典逻辑杂志
125 Studia Logica公司
122 人工智能
91 哲学逻辑杂志
80 国际近似推理杂志
75 模糊集与系统
62 合成
52 数学与人工智能年鉴
51 逻辑、语言与信息杂志
40 理论计算机科学
37 应用逻辑杂志
34 逻辑程序设计理论与实践
33 逻辑与逻辑哲学
32 符号逻辑述评
31 纯逻辑与应用逻辑年鉴
31 泛逻辑
19 符号逻辑杂志
19 程序设计中的逻辑和代数方法杂志
18 信息与计算
17 自动推理杂志
15 信息科学
13 代数普遍性
13 Logicheskie Issledovaniya公司
11 ACM计算逻辑事务
10 国际智能系统杂志
10 数学逻辑档案
10 《数理逻辑季刊》
10 软计算
9 逻辑科公报
9 逻辑与代数程序设计杂志
8 圣母院形式逻辑杂志
8 计算机科学中的逻辑方法
7 拓扑及其应用
6 计算系统理论
5 符号计算杂志
5 MSCS公司。计算机科学中的数学结构
5 人工智能研究杂志
5 符号逻辑公报
5 托波伊
5 埃尔肯特尼斯
5 国际不确定性、模糊性和基于知识的系统杂志
4 信息学报
4 信息处理信件
4 立陶宛数学杂志
4 凯贝内提卡
4 计算的形式方面
4 计算机科学前沿
代数通讯
国际通用系统杂志
代数与逻辑
代数杂志
纯粹与应用代数杂志
斯洛伐克数学
游戏
2 计算机与数学及其应用
2 离散应用数学
2 离散数学
2 混沌、孤子和分形
2 计算机与系统科学杂志
2 非线性分析。理论、方法和应用。系列A:理论与方法
2 半群论坛
2 订单
2 吉泰。实验与理论人工智能杂志
2 国际代数与计算杂志
2 国际计算机科学基础杂志
2 系统设计中的形式化方法
2 应用的分类结构
2 约束条件
2 计算机基础理论
2 伊朗模糊系统杂志
2 亚美尼亚数学杂志
2 \(p\)-Adic数、超度量分析及其应用
2 欧洲数学杂志
1 印度纯粹与应用数学杂志
1 国际理论物理杂志
1 数学分析与应用杂志
1 梅特里卡
1 应用数学与计算
1 计算
1 演示数学
1 数学经济学杂志
1 统计规划与推断杂志
1 凯伯内特斯
1 语言学与哲学
1 模拟中的数学和计算机
1 Quaestions数学
1 哥伦比亚马特马提卡修道院
1 SIAM计算机杂志
1 西伯利亚数学杂志
1 计算机程序设计科学
1 数学社会科学
1 逻辑历史与哲学
1 匈牙利数学学报
1 数学应用学报
1 伊朗数学学会公报
1 社会选择与福利
1 新一代计算
1 数学和计算机建模
1 SIAM离散数学杂志
1 人工智能通信
…还有32种期刊

按年份列出的引文