A Note on Axiomatisations of Two-Dimensional Modal Logics

机译：关于二维模态逻辑公理化的一个注记

获取原文

页面导航

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

摘要

We analyse the role of the modal axiom corresponding to the first-order formula "(3)y (x = y)" in axiomatisations of two-dimensional propositional modal logics.

机译：我们分析了与一阶公式“（3）y（x = y）”相对应的模态公理在二维命题模态逻辑公理化中的作用。

著录项

来源
《Indian conference on logic and its applications》|2013年|27-33|共7页
会议地点
作者
Agi Kurucz;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations [J] . Annals of Pure and Applied Logic . 2020,第5期

机译：具有无限规范公理结构的非有限性公正的模态产品逻辑
2. An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK [J] . Erica Calardo and Logic Journal of IGPL . 2007,第3期

机译：知识和线性时间LTK的多模式逻辑的公理化
3. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic [J] . Vedran Čačić, Domagoj Vrgoč Studia Logica . 2013,第1期

机译：可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
4. A Note on Axiomatisations of Two-Dimensional Modal Logics [C] . Agi Kurucz Indian Conference on Logic and Its Applications . 2013

机译：关于二维模态逻辑的公理化的注意事项
5. On incompleteness in modal logic. An account through second-order logic. [D] . Dumitru, Mircea. 1998

机译：关于模态逻辑的不完备性通过二阶逻辑的帐户。
6. Assessing Foraminal Stenosis in the Cervical Spine: A Comparison of Three-Dimensional Computed Tomographic Surface Reconstruction to Two-Dimensional Modalities [O] . Adam Schell, John M. Rhee, John Holbrook, 2017

机译：评估颈椎椎间孔狭窄：三维计算机断层扫描表面重建与二维模式的比较。
7. A note on axiomatisations of two-dimensional modal logics [O] . Agi Kurucz 2013

机译：关于二维模态逻辑的公理化的注记

A Note on Axiomatisations of Two-Dimensional Modal Logics

摘要

著录项

相似文献

相关主题

期刊订阅