首页> 外文OA文献 >Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames

【2h】

Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames

机译：一流的克莱波克框架非正常和准正常模态谓词逻辑的公理性

代理获取

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

页面导航

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

著录项

作者
Mikhail Nikolayevich Rybakov;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames [J] . DMITRIJ SKVORTSOV Journal of logic and computation . 2006,第5期

机译：某些类别良好的和双重良好的Kripke框架的超直觉谓词逻辑的非排位性
2. The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable [J] . Skvortsov D Journal of Symbolic Logic . 2005,第2期

机译：有限Kripke框架的超直觉谓词逻辑不可递归公理化
3. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages [J] . Rybakov Mikhail, Shkatov Dmitry Journal of logic and computation . 2021,第5期

机译：限制语言中线性Kripke帧的一阶模态逻辑的算法属性
4. Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates [C] . Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, International colloquium on automata, languages and programming;ICALP 2011 . 2011

机译：可在带有任意内置谓词的不变一阶逻辑中定义的查询的局部性
5. Some results in computability and the proof theory of predicate modal logic [D] . Schwartz, Yehuda. 2012

机译：谓词模态逻辑的可计算性和证明理论的一些结果
6. Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic [O] . Guillermo Badia, Vicent Costa, Pilar Dellunde, -1

机译：数学模糊逻辑中一阶结构类的句法表征
7. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages [O] . Mikhail Rybakov, Dmitry Shkatov 2021

机译：限制性语言中线性Kripke帧的一阶模态逻辑的算法属性
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames

著录项

引文网络

相似文献

相关主题

期刊订阅