• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊>逻辑学研究 >与模态逻辑树模型上的重述相关的若干结果

与模态逻辑树模型上的重述相关的若干结果

     
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

本文考察模态逻辑树模型上的局部等价以及m-保守的重述.所谓重述指的是将一种语言下的公式翻译到另一种语言中去.这种翻译可以是等价的(局部等价性),也可以是不等价的(m-保守的).本文所研究的模态语言包括ML、MLI、MLG和MLGI,所涉及的模型是模态逻辑的树模型.

著录项

  • 来源
    《逻辑学研究》|2020年第3期|32-61|共30页
  • 作者

    杜珊珊;

  • 作者单位

    武汉大学哲学学院;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类
  • 关键词

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号