KD is nullary

Philippe Balbiani; Cigdem Gencer

首页> 外文期刊>Journal of applied non-classical logics >KD is nullary

【24h】

KD is nullary

机译：KD为零

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

机译：在普通模态语言中，KD是由所有串行帧的类别确定的模态逻辑。在本文中，我们证明KD是无效的。

著录项

来源
《Journal of applied non-classical logics》 |2017年第4期|196-205|共10页
作者
Philippe Balbiani; Cigdem Gencer;
展开▼
作者单位

lnstitut de Recherche en Informatique de Toulouse, CNRS - Universite de Toulouse, Toulouse, France;

Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Modal logic; unification problem; unification type;

机译：模态逻辑统一问题;统一类型;
入库时间 2022-08-18 02:20:42

相似文献

外文文献
中文文献
专利

1. Blending margins: the modal logic K has nullary unification type [J] . Jerabek Emil Journal of logic and computation . 2015,第5期

机译：混合边距：模态逻辑K具有零元统一类型
2. Clones with Nullary Operations [J] . Mike Behrisch Electronic Notes in Theoretical Computer Science . 2014,第2期

机译：空操作克隆
3. Kdo-(2 --> 8)-Kdo-(2 --> 4)-Kdo but not Kdo-(2 --> 4)-Kdo-(2 --> 4)-Kdo is an acceptor for transfer of L-glycero-alpha-D-manno-heptose by Escherichia coli heptosyltransferase I (WaaC). [J] . Gronow S, Lindner B, Brade H, Innate immunity . 2009,第1期

机译：Kdo-（2-> 8）-Kdo-（2-> 4）-Kdo但不是Kdo-（2-> 4）-Kdo-（2-> 4）-Kdo是转移大肠杆菌庚糖基转移酶I（WaaC）产生的L-甘油-α-D-甘露庚糖。
4. Performance of KDS-B, dispersed KDS-B, MCA, and ACQ in Ground Proximity and Ground Contact Decay Tests under Tropical Conditions [C] . Annual Meeting of The American Wood Protection Association . 2018

机译：KDS-B，分散的KDS-B，MCA和接地接触衰减测试的性能下的热带条件下的接地接触衰减试验
5. Purification of the KdsB Protein of Escherichia coli and Studies on the Phenotype of a kdsB Mutant in a K1 Capsule Expressing Strain [D] . Jaber Alfahemi, Hasan Hamad. 2020

机译：纯化大肠杆菌的KDSB蛋白，并在K1胶囊中KDSB突变体表型的研究
6. Kidney Disease: Improving Global Outcomes (KDIGO) CKD-MBD Update Work Group. KDIGO 2017 Clinical Practice Guideline Update for the Diagnosis Evaluation Prevention and Treatment of Chronic Kidney Disease–Mineral and Bone Disorder (CKD-MBD). Kidney Int Suppl. 2017;7:1–59 [O] . 2017

机译：肾脏疾病：改善全球结局（KDIGO）CKD-MBD更新工作组。 KDIGO 2017临床实践指南更新用于诊断评估预防和治疗慢性肾脏病-矿物质和骨病（CKD-MBD）。肾脏国际供应商2017; 7：1–59
7. Clones with Nullary Operations [O] . Behrisch Mike 2014

机译：空操作克隆

KD is nullary

摘要

著录项

相似文献

相关主题

期刊订阅