Generalized Veltman models with a root

Vukovi? M.

首页> 外文期刊>Mathematical communications >Generalized Veltman models with a root

【24h】

Generalized Veltman models with a root

机译：带根的广义Veltman模型

获取原文

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Provabilitylogicisanonstandardmodallogic.Interpretabilitylogicisanextensionofprovabilitylogic.GeneralizedVeltmanmodelsareKripkelikesemanticsforinterpretabilitylogic.WeconsidergeneralizedVeltmanmodelswitha...

机译：概率逻辑非标准模态逻辑。可解释性逻辑是概率逻辑的扩展。广义Veltman模型是Kripkelike语义的可解释性逻辑。我们认为通用的Veltman模型具有...

著录项

来源
《Mathematical communications》 |2004年第1期|共页
作者
Vukovi? M.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类数学;
关键词

相似文献

外文文献
中文文献
专利

1. Bisimulations between generalized Veltman models and Veltman models [J] . Mladen Vukovic Mathematical logic quarterly: MLQ . 2008,第4期

机译：广义Veltman模型和Veltman模型之间的双仿真
2. Filtrations of generalized Veltman models [J] . Perkov Tin, Vukovic Mladen Mathematical logic quarterly: MLQ . 2016,第4a5期

机译：广义Veltman模型的过滤
3. Bisimulations and bisimulation quotients of generalized Veltman models [J] . Domagoj Vrgoč Logic Journal of IGPL . 2010,第6期

机译：广义Veltman模型的双仿真和双仿真商
4. Generalizing Results on the Convergence of the Maximum Roots of Fibonacci Type Polynomials [C] . Robert Molina, Aklilu Zeleke Southeastern internaitonal conference on combinatorics, graph theory and computing . 2009

机译：Fibonacci型多项式最大根收敛性的广义结果
5. Modeling Linear and Nonlinear Single Case Designs with Generalized Linear and Generalized Additive Models: A Simulation Study. [D] . Sullivan, Kristynn Joy. 2015

机译：使用广义线性模型和广义可加模型对线性和非线性单案例设计建模：仿真研究。
6. Protein structure validation by generalized linear model root-mean-square deviation prediction [O] . Anurag Bagaria, Victor Jaravine, Yuanpeng J Huang, 2011

机译：广义线性模型均方根偏差预测的蛋白质结构验证
7. Generalized Veltman models with a root [O] . Vuković M. 2004

机译：带根的广义Veltman模型

Generalized Veltman models with a root

摘要

著录项

相似文献

相关主题

期刊订阅