CORC  > 清华大学
有限模型下的模态概率逻辑
肖波 ; Bo Xiao
2016-03-30 ; 2016-03-30
关键词模态逻辑 概率逻辑 有限模型 B815.1
其他题名Modal Probabilistic Logic Based on Finite Model
中文摘要模态逻辑语义学是经典逻辑语义学的一个扩张,对"可能"、"必然"等词进行了刻画,而概率从某个角度来说是对"可能"的更加精确的表示。本文试图在模态逻辑语义学的基础之上,形式化地刻画如下直观思想:每一个在某一世界上有一定概率发生的事件都一定会在其可通达的某个(或者某些)可能世界上发生。; The modal propositional logic,which characterizes those words such as possibility and necessity and so on,is an extension of classical propositional logic.The word‘probability',to some extent,is a more exact description way of the word ‘possibility'.This article,which is based on semantics of modal logic,attempts to describe an intuitive idea,that is,any events which will be probably occurred in a world must be occurred in an accessible world.
语种中文 ; 中文
内容类型期刊论文
源URL[http://ir.lib.tsinghua.edu.cn/ir/item.do?handle=123456789/147747]  
专题清华大学
推荐引用方式
GB/T 7714
肖波,Bo Xiao. 有限模型下的模态概率逻辑[J],2016, 2016.
APA 肖波,&Bo Xiao.(2016).有限模型下的模态概率逻辑..
MLA 肖波,et al."有限模型下的模态概率逻辑".(2016).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace