×
作者ID: 库西斯托·安蒂“Kuusisto,Antti”最近发表的zbMATH文章
发布日期: 安蒂·库西斯托
外部链接: MGP公司
已编制索引的文档: 51出版物自2008年以来,包括11附加arXiv预打印
合著者: 21位合著者具有39联合出版物
390位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

33出版物有被引用161中的次92文件 引用人 年份
广义量词的双组语义。 Zbl 1350.03025号
安蒂·库西斯托
22
2015
分布式计算的弱模型,与模态逻辑有关。 Zbl 1322.68075号
你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛
13
2015
谓词逻辑与团队语义的可决定性。 Zbl 1398.03064号
朱哈·科廷宁;安蒂·库西斯托;乔尼·维特玛
10
2016
模态包含逻辑:宽松比严格更简单。 Zbl 1465.68105号
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默
10
2015
二元依赖逻辑和IF-逻辑的复杂性。 Zbl 1310.03042号
朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛
9
2014
一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨
7
2017
命题确定性和独立性的逻辑。 Zbl 1522.03051号
瓦伦丁·戈兰科;安蒂·库西斯托
7
2018
分布式计算的弱模型,与模态逻辑有关。 Zbl 1301.68120号
劳拉,希拉;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛
6
2012
命题和模态包含逻辑中的模型检查和有效性。 Zbl 1441.68132号
劳拉,希拉;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛
5
2017
一元二阶交替层次的模态透视。 Zbl 1244.03067号
安蒂·库西斯托
5
2008
交替时间时序逻辑的博弈论语义。 兹比尔1407.03030
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
5
2018
具有等式的均匀一维片段的复杂性和表示性。 Zbl 1426.03015号
伊曼纽尔·基伦斯基;安蒂·库西斯托
5
2014
模态逻辑和分布式消息传递自动机。 Zbl 1356.68154号
安蒂·库西斯托
5
2013
两变量逻辑以外的加权模型计数。 Zbl 1497.68227号
安蒂·库西斯托;卡斯滕·卢茨
4
2018
模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 Zbl 1497.68303号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
4
2021
二阶命题模态逻辑和一元交替层次。 Zbl 1343.03015号
安蒂·库西斯托
4
2015
合理协调,没有沟通或约定。 Zbl 1498.91080号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
4
2017
一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨
2019
一阶逻辑的一维片段。 Zbl 1385.03004号
你好,劳里;安蒂·库西斯托
2014
命题和模态包含逻辑中的模型检查和有效性。 Zbl 1475.68187号
你好,劳里;安蒂·库西斯托;阿恩·迈尔;乔尼·维尔特玛
2019
具有有限有界语义的CTL。 Zbl 1515.03082号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2017
具有有限有界语义的交替时间时序逻辑ATL。 Zbl 1434.03067号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2019
无限网络、暂停和本地算法。 Zbl 1467.68206号
安蒂·库西斯托
2014
在反复输赢的协调游戏中,逐步保证协调。 Zbl 1469.91012号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2020
模态包含逻辑的可满足性。宽松严格的语义。 Zbl 1433.03053号
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默
2
2020
分布式自动机的空问题。 Zbl 1483.68173号
安蒂·库西斯托;费比安·雷特
2
2017
一些图灵完成了一阶逻辑的扩展。 Zbl 1469.03084号
安蒂·库西斯托
2
2014
一元\(\西格玛^{1}_{1} \)和具有量化二进制关系的模态逻辑。 Zbl 1345.03039号
你好,劳里;安蒂·库西斯托
2
2010
具有一个等价关系的统一一维碎片。 Zbl 1373.03012号
伊曼纽尔·基隆斯基;安蒂·库西斯托
2
2015
没有恒等式的不完全信息逻辑的表达。 Zbl 1269.03032号
安蒂·库西斯托
2
2013
模态mu-calculus和一些变体的有界游戏理论语义。 Zbl 07455742号
你好,劳里;安蒂·库西斯托;雷恩·Rönnholm
1
2020
合理协调,没有沟通或约定。 Zbl 07285865号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
1
2020
树上的一维逻辑。 Zbl 1441.68075号
伊曼纽尔·基伦斯基;安蒂·库西斯托
1
2017
模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 Zbl 1497.68303号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
4
2021
在重复的输赢协调游戏中逐步保证协调。 Zbl 1469.91012号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2020
模态包含逻辑的可满足性。松懈和严格的语义。 Zbl 1433.03053号
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默
2
2020
模态mu-calculus和一些变体的有界游戏理论语义。 Zbl 07455742号
你好,劳里;安蒂·库西斯托;雷恩·Rönnholm
1
2020
理性的协调,没有沟通或约定。 Zbl 07285865号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
1
2020
一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨
2019
命题和模态包含逻辑中的模型检查和有效性。 Zbl 1475.68187号
劳拉,希拉;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛
2019
具有有限有界语义的交替时间时序逻辑ATL。 Zbl 1434.03067号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2019
命题确定性和独立性的逻辑。 Zbl 1522.03051号
瓦伦丁·戈兰科;安蒂·库西斯托
7
2018
交替时间时序逻辑的博弈论语义。 兹比尔1407.03030
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
5
2018
两变量逻辑以外的加权模型计数。 Zbl 1497.68227号
安蒂·库西斯托;卡斯滕·卢茨
4
2018
一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号
克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨
7
2017
命题和模态包含逻辑中的模型检查和有效性。 Zbl 1441.68132号
你好,劳里;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛
5
2017
合理协调,没有沟通或约定。 Zbl 1498.91080号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
4
2017
具有有限有界语义的CTL。 Zbl 1515.03082号
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm
2017
分布式自动机的空问题。 Zbl 1483.68173号
安蒂·库西斯托;费比安·雷特
2
2017
树上的一维逻辑。 Zbl 1441.68075号
伊曼纽尔·基伦斯基;安蒂·库西斯托
1
2017
具有团队语义的谓词逻辑的可判定性。 Zbl 1398.03064号
朱哈·科廷宁;安蒂·库西斯托;乔尼·维特玛
10
2016
广义量词的双组语义。 Zbl 1350.03025号
安蒂·库西斯托
22
2015
分布式计算的弱模型,与模态逻辑有关。 兹比尔1322.68075
你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛
13
2015
模态包含逻辑:宽松比严格更简单。 兹比尔1465.68105
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默
10
2015
二阶命题模态逻辑和一元交替层次。 Zbl 1343.03015号
安蒂·库西斯托
4
2015
具有一个等价关系的统一一维碎片。 Zbl 1373.03012号
伊曼纽尔·基隆斯基;安蒂·库西斯托
2
2015
二元依赖逻辑和IF-逻辑的复杂性。 Zbl 1310.03042号
朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛
9
2014
具有等式的均匀一维片段的复杂性和表示性。 Zbl 1426.03015号
伊曼纽尔·基伦斯基;安蒂·库西斯托
5
2014
一阶逻辑的一维片段。 Zbl 1385.03004号
你好,劳里;安蒂·库西斯托
2014
无限网络、暂停和本地算法。 Zbl 1467.68206号
安蒂·库西斯托
2014
一些图灵完成了一阶逻辑的扩展。 Zbl 1469.03084号
安蒂·库西斯托
2
2014
模态逻辑和分布式消息传递自动机。 Zbl 1356.68154号
安蒂·库西斯托
5
2013
没有同一性的不完美信息逻辑的表达性。 Zbl 1269.03032号
安蒂·库西斯托
2
2013
分布式计算的弱模型,与模态逻辑有关。 Zbl 1301.68120号
你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;克斯托,克尔科;朱卡·索米拉;乔尼·维特玛
6
2012
一元\(\西格玛^{1}_{1} \)和具有量化二进制关系的模态逻辑。 Zbl 1345.03039号
你好,劳里;安蒂·库西斯托
2
2010
一元二阶交替层次结构的模态视角。 Zbl 1244.03067号
安蒂·库西斯托
5
2008
全部的 前5名

98位作者引用

16 安蒂·库西斯托
9 彼得罗·加利亚尼
9 劳里·T·海拉。
8 雷恩·Rönnholm
8 乔尼·维特玛
6 朱哈·科廷宁
6 阿恩·迈尔
6 杨,范
5 Miika Hannula公司
5 马丁·吕克
5 赫里贝特·沃尔默
4 费比安·雷特
4 朱卡·索米拉
阿诺·杜兰德
瓦伦丁·F·戈兰科。
库泽·埃尔卡,Ondřej
卡斯滕·卢茨
2 弗朗西斯科·贝拉迪内利
2 迪伦·贝利尔
2 马西莫·贝内雷切蒂
2 曼纽尔·博迪尔斯基
2 贝内迪克特·博利格
2 黛拉·莫妮卡,达里奥
2 Stéphane P.德姆里。
2 玛丽·何塞·福廷
2 皮埃尔·弗拉吉奥德
2 保罗·加斯丁
2 安塞尔姆·哈克
2 胡胡·赫沃宁
2 伊曼纽尔·基伦斯基
2 阿吉·库鲁茨
2 托莫Lempiäinen
2 亚西尔·马哈茂德
2 法比奥·莫加维罗
2 安托万·莫特特
2 蒂莫西·范·布莱门
2 迈克尔·维克托洛维奇(Michael Viktorovich)
1 耶胡达·阿费克
1 马里奥·阿尔维亚诺
1 亚历山大·巴尔塔格
1 福斯托·巴贝罗
1 巴里内克,Jáchym
1 乔治·巴里扬尼斯
1 巴萨基斯、索蒂利斯
1 巴托斯·贝德纳西克
1 奥利维尔·卡尔顿
1 尼古拉斯·德鲁吉·阿尔特尔
1 丁一峰
1 迪米特·多布雷夫
1 约翰内斯·埃宾
1 尤瓦尔·埃梅克
1 哈维尔·埃斯帕尔扎
1 范洁
1 克里斯蒂娜·费尔
1 默多克·詹姆斯·加贝
1 弗洛里斯·吉尔茨
1 奥尔加·杰拉西莫娃
1 布鲁诺·吉隆
1 黄,裴
1 劳埃德·亨伯斯通
1 罗莎莉,伊姆霍夫
1 伊祖米、大辅
1 Jaakkola,雷霍
1 马蒂·Järvisalo
1 杰格尔卡、斯蒂芬妮
1 斯坦尼斯拉夫·基科特
1 诺亚·科利坎特
1 安德烈亚斯·克雷布斯
1 Kuijer、Louwe Bouke
1 朱哈纳·劳林哈尔朱
1 李润东
1 刘明浩
1 彼得·洛曼
1 科科·洛斯托
1 马,菲菲
1 弗洛伦特·马德琳。
1 杰瑞米·迈尔斯
1 托马斯·尼克森
1 卡尔·尼格伦
1 弗拉基米尔·弗拉基米罗维奇
1 伊戈尔·波塔波夫
1 弗拉迪斯拉夫·里日科夫
1 Leif Sabellek
1 尤里·萨瓦泰耶夫
1 伊南·塞兰
1 贾斯珀·斯蒂格曼斯
1 Johanna Beate Stumpf
1 图伦海莫,泰罗
1 Väänänen,Jouko Antero
1 van Benthem,Johan F.A.K。
1 Van den Bussche,简
1 范德霍克,威比
1 王燕京
1 王玉怡
1 弗兰克·沃尔特
1 Zhi elezn,Filip先生
1 张健
1 马丁·齐默尔曼

按年份列出的引文