首页> 外文OA文献 >Products of modal logics. Part 2: Relativised quantifiers in classical logic

【2h】

Products of modal logics. Part 2: Relativised quantifiers in classical logic

机译：模态逻辑的产物。第2部分：经典逻辑中的相对论量词

页面导航

著录项
相似文献
相关主题

著录项

作者
Dov M. Gabbay; Valentin B. Shehtman;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Products of Modal Logics. Part 3: Products of Modal and Temporal Logics [J] . Dov Gabbay, Valentin Shehtman Studia Logica . 2002,第2期

机译：模态逻辑产品。第三部分：模态和时间逻辑的乘积
2. Covering-based rough sets and modal logics. Part II [J] . Ma Minghui, Chakraborty Mihir Kumar 高分子論文集 . 2018,第APRa期

机译：基于覆盖的粗糙集和模态逻辑。第二部分
3. Covering-based rough sets and modal logics. Part I [J] . Ma Minghui, Chakraborty Mihir Kumar Acoustic bulletin . 2016,第octa期

机译：基于覆盖的粗糙集和模态逻辑。第一部分
4. Translating Classical Probability Logics into Modal Fuzzy Logics [C] . Paolo Baldi, Petr Cintula, Carles Noguera Conference of the European Society for Fuzzy Logic and Technology . 2019

机译：将古典概率逻辑转化为模糊模糊逻辑
5. Effective completeness theorems for modal logics. [D] . Ganguli, Suman. 2001

机译：模态逻辑的有效完整性定理。
6. Modeling anatomical spatial relations with description logics. [O] . S. Schulz, U. Hahn, M. Romacker 2000

机译：使用描述逻辑建模解剖空间关系。
7. Existence and identity in quantified modal logics. [O] . R. Routley 1969

机译：量化模态逻辑中的存在与身份。
8. Modal and Many - Valued Logics. [R] . 1964

机译：模态和多值逻辑。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号