没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Modal Logic
Modal Logic
Modal
Logic
需积分: 9
19 下载量
181 浏览量
2010-02-08
23:00:50
上传
评论
1
收藏
3.62MB
PDF
举报
温馨提示
立即下载
这是一本关于介绍modal logic 的经典著作。对于学习Modal Logic 非常有帮助。
资源推荐
资源评论
Modal
浏览:17
Modal
Modal Analysis
浏览:61
结构动力学模态分析经典教程 适合入门,基本概念讲解很全面
P.Blackburn_Modal_Logic
浏览:103
Modal Logic Patrick Blackburn patrick@coli.uni-sb.de Maarten de Rijke mdr@wins.uva.nl Yde Venema yde@wins.uva.nl
Blackburn_Modal_Logic.pdf
浏览:66
模态逻辑Blackburn_Modal_Logic.pdf
A NEW INTRODUCTION TO MODAL LOGIC
浏览:188
3星 · 编辑精心推荐
TO MODAL LOGIC Preface ix Part One: Basic Modal Propositional Logic 1 The Basic Notions 3 The language of PC C) Interpretation D) Further operators F) Interpretation of A , D and s G) Validity .
The Proof Theory and Semantics of Intuitionistic Modal Logic
浏览:142
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic de nitions in the ordinary meta
modal logic
浏览:195
A very good book for model theory , computational complexity。
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
浏览:45
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
Logic Aid
浏览:185
Logic Aid Manual. Logic Aid Manual. Logic Aid Manual.
Logic for mathematician
浏览:15
经典的数理逻辑教材,国内已经很难买到这本书的纸质版了
Modal_Analysis
浏览:94
国外的讲模态分析计算的很不错的文章,通俗易懂。
Sys_Logic.c
浏览:167
1800W双向储能逆变器源代码
Symbolic-Logic
浏览:52
符号逻辑 对于谓词逻辑或句子逻辑 infixtopolish(wff)是一个使用infix表示法wff并输出波兰语表示法的函数 Polishtoinfix(wff)是一种采用波兰表示法wff并输出后缀表示法的函数 infix_wff_check(wff)检查一下中缀符号句子是否格式正确 wffcheck(wff)检查波兰语符号句子的格式是否正确 运算符为:〜,&,v,>,<>,(3x)[存在
Rough-Set_src_1.0.zip_Modal Logic_Rough java_Tableaux System_dy
浏览:197
Temporal Rough Logic is a combination of both Normal and Temporal Modal Logics. TRL formulas are interpreted over Dynamic Approximation Spaces. For checking validiy in TRL a Prefixed Tableaux System .
Mathematical Logic - Carnap R - Meaning and Necessity. A Study in Semantics and Modal Logic
浏览:145
I. THE METHOD OF EXTENSION AND INTENSION i 1. Preliminary Explanations 2 2. L-Concepts 7 3. Equivalence and L-Equivalence 13 4. Classes and Properties 16 5. Extensions and Intensions 23 ...
Handbook of Model Logic
浏览:194
Handbook of Model Logic,模型论的最从权威教材
Philosophical and Mathematical Logic (Springer原版超清)
浏览:81
The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, ...
数理逻辑经典书籍
浏览:58
5星 · 资源好评率100%
handbook of modal logic;Introduction to logic for computer science;logic and discrete mathmatics for computer science;Logic for Computer Scientis;logic in computer science;Modal Logic for Open ...
PADS9.3_Logic
浏览:183
3星 · 编辑精心推荐
PADS9.3_Logic
Modal-Popup_
浏览:27
Modal-Popup_
Logic.Monitor
浏览:64
一般的 Windows PowerShell模块,用于访问LogicMonitor REST API。 注意:这是一个个人项目,不是官方支持的LogicMonitor集成。 该项目还发布在PowerShell画廊中,为 。 安装 从PowerShell库: Install-Module - Name " Logic.Monitor " 升级中 新版本经常发布,以确保您具有可以运行的最新版本:
Modal_context
浏览:70
#React Promise Modal with Context此项目通过以下方式实现: react hooks , context API和Promise 演示版 注意:项目是使用部署的。\ 打开以查看工作结果 Screenshots 显示模态的默认窗口: 模态已打开: 单击“是”时模态工作的结果! :
Mathematical-Logic
浏览:26
Mathematical-Logic
形式化验证,模型检测和数理逻辑经典书籍系列(3)
浏览:34
5星 · 资源好评率100%
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);...Course in Modal Logic;模态逻辑讲义
modal_logic
浏览:74
modal_logic
LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems
浏览:13
5星 · 资源好评率100%
first-order, temporal, modal, and program logics. Based on the encouraging feedback received from five continents we are pleased to hereby present the second edition of this text which means to ...
QUANTUM LOGICS
浏览:143
5 A modal interpretation of OL and OQL 32 6 An axiomatization of OL and OQL 35 7 The intractability of orthomodularity 40 8 Hilbert quantum logic and the orthomodular law 45 9 First-order quantum ...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
panhaiyu
粉丝: 4
资源:
20
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
235271206220240422up.rar
永宏PLC例程源码昆仑通态威纶触摸屏永宏PLC
all-MiniLM-L6-v2整合包
永宏PLC例程源码工控世界PLCworld
永宏PLC例程源码分纸压线机
chap3 软件设计基础-2-体系结构.pptx
永宏PLC例程源码二部2号双顶间隙冲水沥水
永宏PLC例程源码东芝350T压铸机PLC程序
Visual Basic语言教程.docx
永宏PLC例程源码18层永宏电梯程序
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功