首页> 外文OA文献 >On decidability of monadic logic of order over the naturals extended by monadic predicates

【2h】

On decidability of monadic logic of order over the naturals extended by monadic predicates

机译：关于单子谓词所扩展的自然的单子阶逻辑的可判定性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rabinovich Alexander;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On decidability of monadic logic of order over the naturals extended by monadic predicates [J] . Alexander Rabinovich Information and computation . 2007,第6期

机译：关于单子谓词所扩展的自然的单子阶逻辑的可判定性
2. Monadic Second-Order Logic with Arbitrary Monadic Predicates [J] . Fijalkow Nathanael, Paperman Charles ACM transactions on computational logic . 2017,第3期

机译：具有任意谓词的Monadic二阶逻辑
3. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter [J] . Rybakov Mikhail, Shkatov Dmitry Studia Logica . 2019,第4期

机译：具有两个变量的一阶模态和直觉逻辑的不可逃定性和一个半谓的谓词字母
4. Monadic Second-Order Logic with Arbitrary Monadic Predicates [C] . Nathanaeel Fijalkow, Charles Paperman International symposium on mathematical foundations of computer science . 2014

机译：具有任意谓词的Monadic二阶逻辑
5. Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations [D] . Brantley, Kristina. 2019

机译：单子直觉和模态逻辑承认可证明性
6. Predicting protein functions by applying predicate logic to biomedical literature [O] . Kamal Taha, Youssef Iraqi, Amira Al Aamri 2019

机译：通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
7. On decidability of monadic logic of order over the naturals extended by monadic predicates [O] . Alexander Rabinovich 2007

机译：关于单子谓词所扩展的自然的单子阶逻辑的可判定性

On decidability of monadic logic of order over the naturals extended by monadic predicates

著录项

引文网络

相似文献

相关主题

期刊订阅