Uniform Interpolation and Propositional Quantifiers in Modal Logics

Marta Bílková

首页> 外文期刊>Studia Logica >Uniform Interpolation and Propositional Quantifiers in Modal Logics

【24h】

Uniform Interpolation and Propositional Quantifiers in Modal Logics

机译：模态逻辑中的统一插值和命题量词

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view.

机译：我们从证明理论的角度研究命题模态逻辑中的统一插值。

著录项

来源
《Studia Logica》 |2007年第1期|1-31|共31页
作者
Marta Bílková;
展开▼
作者单位

Department of Logic Charles University Celetná 20 116 42 Praha 1 Czech Republic;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
modal logic; sequent calculus; interpolation; propositional quantifiers;

机译：模态逻辑;后续演算;插值;命题量词;

相似文献

外文文献
中文文献
专利

1. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation [J] . Franco Montagna Studia Logica . 2012,第1a2期

机译：带有命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
2. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation [J] . Montagna F. Studia Logica . 2012,第1a2期

机译：带命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
3. Uniform Lyndon interpolation property in propositional modal logics [J] . Archive for Mathematical Logic . 2020,第5a6期

机译：命题模态逻辑的统一林登插值属性
4. Propositional Modal Logic with Implicit Modal Quantification [C] . Anantha Padmanabha, R. Ramanujam Indian conference on logic and its applications . 2019

机译：隐式模态量化的命题模态逻辑
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. Uniform interpolation for propositional and modal team logics [O] . Giovanna D’Agostino 2019

机译：命题和模态团队逻辑的统一插值
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

Uniform Interpolation and Propositional Quantifiers in Modal Logics

摘要

著录项

相似文献

相关主题

期刊订阅