首页> 外文会议>Frontiers of combining systems >Axiomatization and Completeness of Lexicographic Products of Modal Logics

【24h】

Axiomatization and Completeness of Lexicographic Products of Modal Logics

机译：模态逻辑词典词典产品的公理化和完整性

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This paper sets out a new way of combining Kripke-complete modal logics: lexicographic product. It discusses some basic properties of the lexicographic product construction and proves axiomatization/comp-leteness results.

机译：本文提出了一种结合Kripke-完全模态逻辑的新方法：词典产品。它讨论了词典产品构造的一些基本属性，并证明了公理化/完全性结果。

著录项

来源
《Frontiers of combining systems》|2009年|165-180|共16页
会议地点 Trento(IT);Trento(IT)
作者
Philippe Balbiani;
展开▼
作者单位

CNRS - Universite de Toulouse Institut de recherche en informatique de Toulouse 118 Route De Narbonne, 31062 Toulouse Cedex 9, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化系统;
关键词
modal logic; lexicographic product; axiomatization/comp-leteness;

机译：模态逻辑词典产品；公理化/完备性;

相似文献

外文文献
中文文献
专利

1. Axiomatization and completeness of lexicographic products of modal logics [J] . Philippe Balbiani Journal of applied non-classical logics . 2011,第2期

机译：模态逻辑词典词典产品的公理化和完整性
2. Adequacy and Complete Axiomatization for Timed Modal Logic [J] . Samy Jaziri, Kim G. Larsen, Radu Mardare, Electronic Notes in Theoretical Computer Science . 2014,第1期

机译：定时模态逻辑的充分性和完全公理化
3. Axiomatizing hybrid logic using modal logic [J] . Ian Hodkinson, Louis Paternault Journal of Applied Logic . 2010,第4期

机译：使用模态逻辑公理化混合逻辑
4. Axiomatization and Completeness of Lexicographic Products of Modal Logics [C] . Philippe Balbiani International Symposium on Frontiers of Combining Systems . 2009

机译：模态逻辑词典产品的公理和完整性
5. Effective completeness theorems for modal logics. [D] . Ganguli, Suman. 2001

机译：模态逻辑的有效完整性定理。
6. End-Completely-Regular and End-Inverse Lexicographic Products of Graphs [O] . Hailong Hou, Rui Gu -1

机译：图的完全正则和反终极词典产品
7. Axiomatizing the lexicographic products of modal logics with linear temporal logic [O] . Balbiani Philippe, Fernandez Duque David 2016

机译：用线性时间逻辑公理化模态逻辑的词典产品
8. Complete Equational Axiomatization for MPA with String Iteration; Software engineering rept [R] . Aceto, L., Groote, J. F. 1997

机译：用字符串迭代完成mpa的等轴公差化;软件工程部

Axiomatization and Completeness of Lexicographic Products of Modal Logics

摘要

著录项

相似文献

相关主题

期刊订阅