编辑配置文件(在新选项卡中打开) Sakalauskaitö,Jératö 合著者距离 作者ID: 萨卡拉斯凯特.朱拉特 发布日期: Sakalauskaitö,Jératö;萨卡劳斯卡特,J。;尤拉特·萨卡劳斯卡特;尤拉特·萨卡拉乌斯凯特;Sakalauskaité,Jératé;Sakauskaitö,Jératö;Yu Sakalauskajte。 更多。。。较少的 外部链接: MGP公司·数据库许可证 已编制索引的文档: 22出版物自1981年以来 审查活动: 2评论 合著者: 3位合著者具有4联合出版物 50位合作作者 合著者 18 单作者的 2 罗马斯·阿隆德里斯 2 哈洛达斯·吉德拉 1 Mars K·瓦利耶夫。 全部的 前5名系列 6 立陶宛数学杂志 6 Matematicheskaya Logika i eöPrimeniya公司 三 Informatica(维尔纽斯) 2 Lietuvos Matematikos林基尼。Lietuvos Matematiku Draugijos Darbai公司 1 爱沙尼亚科学院院刊。物理、数学 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 字段 20 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用8中的次7文件 引用人▼ 年份▼ 具有无限重复的命题动态逻辑的完备性。 Zbl 0788.03021号 尤拉特·萨卡拉乌斯凯特;Mars K·瓦利耶夫。 三 1990 知识和信念分支时间时序逻辑的序贯计算。 Zbl 1137.03009号 Sakalauskaitö,Jératö 1 2007 具有等式的一阶线性时序逻辑的序列演算。 Zbl 0978.03514号 Sakalauskaitö,Jératö 1 1992 多值模态命题逻辑的可逆规则表。 兹伯利1024.03014 萨卡劳斯卡特,J。 1 2002 相关知识逻辑的可决定性。 Zbl 1387.03015号 哈洛达斯·吉德拉;Sakalauskaitö,Jératö;罗马斯·阿隆德里斯 1 2014 公共知识和信念的时序逻辑的序贯计算。 Zbl 1178.68571号 Sakalauskaité,Jératé 1 2006 相关知识逻辑的可判定性。 Zbl 1387.03015号 哈洛达斯·吉德拉;Sakalauskaitö,Jératö;罗马斯·阿隆德里斯 1 2014 知识和信念分支时间时序逻辑的序贯计算。 Zbl 1137.03009号 Sakalauskaitö,Jératö 1 2007 公共知识和信念的时序逻辑的序贯计算。 Zbl 1178.68571号 Sakalauskaité,Jératé 1 2006 多值模态命题逻辑的可逆规则表。 Zbl 1024.03014号 萨卡劳斯卡特,J。 1 2002 具有等式的一阶线性时序逻辑的序列演算。 Zbl 0978.03514号 Sakalauskaitö,Jératö 1 1992 具有无限重复的命题动态逻辑的完备性。 Zbl 0788.03021号 尤拉特·萨卡拉乌斯凯特;Mars K·瓦利耶夫。 三 1990 所有引用出版物 前5名被引用出版物 全部的 前5名9位作者引用 1 罗马斯·阿隆德里斯 1 哈洛达斯·吉德拉 1 或者艾瓦·奥斯卡。 1 帕西,所罗门 1 里贾曼塔斯,普利乌什凯维丘斯 1 格雷厄姆牧师 1 Sakalauskaitö,Jératö 1 廷切夫、廷科 1 迪米特·瓦卡雷洛夫 5篇连载文章中引用 2 信息与计算 1 立陶宛数学杂志 1 应用非经典逻辑杂志 1 符号逻辑述评 1 Rinkinys女士。立陶宛数学学会会刊。系列A 在3个字段中引用 6 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 1 量子理论(81-XX) 按年份列出的引文