μ-programs, uniform interpolation and bisimulation quantifiers for modal logics

Giovanna DAgostino; Giacomo Lenzi; Tim French

首页> 外文期刊>Journal of applied non-classical logics >μ-programs, uniform interpolation and bisimulation quantifiers for modal logics

【24h】

μ-programs, uniform interpolation and bisimulation quantifiers for modal logics

机译：μ程序，模态逻辑的统一插值和双仿真量词

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the μ-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth.

机译：我们考虑在μ微积分的背景下，统一插值属性与非标准量词（双模拟量词）的消除之间的关系。特别是，我们隔离了这两个属性之间的对应关系非常平滑的帧类别。

著录项

来源
《Journal of applied non-classical logics》 |2006年第4期|p.297-309|共13页
作者
Giovanna DAgostino; Giacomo Lenzi; Tim French;
展开▼
作者单位

University of Udine, Department of Mathematics and Computer Science Viale delle Scienze 206, 33100 Udine (Italy);

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类哲学、宗教;
关键词
modal logics; uniform interpolations; bisimulation quantifiers;

机译：模态逻辑;均匀插值;双仿真量词;

相似文献

外文文献
中文文献
专利

1. Bisimulation quantifiers and uniform interpolation for guarded first order logic [J] . DAgostino Giovanna, Lenzi Giacomo Theoretical computer science . 2015,第Null期

机译：受保护的一阶逻辑的双仿真量词和均匀插值
2. Uniform Interpolation and Propositional Quantifiers in Modal Logics [J] . Marta Bílková Studia Logica . 2007,第1期

机译：模态逻辑中的统一插值和命题量词
3. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation [J] . Franco Montagna Studia Logica . 2012,第1a2期

机译：带有命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
4. Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points [C] . Giovanna D’Agostino International Tbilisi Symposium on Logic, Language, and Computation . 2007

机译：均匀插值，双刺激量词和固定点
5. Propositional Quantification and Comparison in Modal Logic [D] . Ding, Yifeng. 2021

机译：模特量化和模态逻辑的比较
6. 3D quantification of hemodynamics parameters of pulmonary artery and aorta using finite-element interpolations in 4D flow MR data [O] . Julio A Sotelo, Jesus Urbina, Israel Valverde, 2015

机译：在4D流MR数据中使用有限元插值对肺动脉和主动脉的血流动力学参数进行3D定量
7. Bisimulation quantifiers and uniform interpolation for guarded first order logic [O] . Giovanna DAgostino, Giacomo Lenzi 2015

机译：双重逻辑的Bisimulation量词和均匀插值

μ-programs, uniform interpolation and bisimulation quantifiers for modal logics

摘要

著录项

相似文献

相关主题

期刊订阅