没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Modal Logic
Modal Logic
Modal
Logic
需积分: 0
0 下载量
15 浏览量
2013-12-11
23:43:22
上传
评论
收藏
176KB
PDF
举报
温馨提示
立即下载
Modal Logic very useful book
资源推荐
资源评论
Modal
浏览:40
Modal
Modal Analysis
浏览:146
结构动力学模态分析经典教程 适合入门,基本概念讲解很全面
P.Blackburn_Modal_Logic
浏览:26
Modal Logic Patrick Blackburn patrick@coli.uni-sb.de Maarten de Rijke mdr@wins.uva.nl Yde Venema yde@wins.uva.nl
A NEW INTRODUCTION TO MODAL LOGIC
浏览:174
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
浏览:191
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
浏览:7
A very good book for model theory , computational complexity。
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
浏览:119
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
Blackburn_Modal_Logic.pdf
浏览:198
模态逻辑Blackburn_Modal_Logic.pdf
Logic Aid
浏览:174
Logic Aid Manual. Logic Aid Manual. Logic Aid Manual.
Logic for mathematician
浏览:118
经典的数理逻辑教材,国内已经很难买到这本书的纸质版了
Modal_Analysis
浏览:185
国外的讲模态分析计算的很不错的文章,通俗易懂。
Sys_Logic.c
浏览:143
1800W双向储能逆变器源代码
Symbolic-Logic
浏览:182
符号逻辑 对于谓词逻辑或句子逻辑 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
浏览:75
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
浏览:152
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
浏览:2
Handbook of Model Logic,模型论的最从权威教材
Philosophical and Mathematical Logic (Springer原版超清)
浏览:7
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, ...
数理逻辑经典书籍
浏览:152
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
浏览:16
3星 · 编辑精心推荐
PADS9.3_Logic
Modal-Popup_
浏览:52
Modal-Popup_
Logic.Monitor
浏览:195
一般的 Windows PowerShell模块,用于访问LogicMonitor REST API。 注意:这是一个个人项目,不是官方支持的LogicMonitor集成。 该项目还发布在PowerShell画廊中,为 。 安装 从PowerShell库: Install-Module - Name " Logic.Monitor " 升级中 新版本经常发布,以确保您具有可以运行的最新版本:
Modal_context
浏览:92
#React Promise Modal with Context此项目通过以下方式实现: react hooks , context API和Promise 演示版 注意:项目是使用部署的。\ 打开以查看工作结果 Screenshots 显示模态的默认窗口: 模态已打开: 单击“是”时模态工作的结果! :
Mathematical-Logic
浏览:196
Mathematical-Logic
形式化验证,模型检测和数理逻辑经典书籍系列(3)
浏览:51
5星 · 资源好评率100%
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);...Course in Modal Logic;模态逻辑讲义
modal_logic
浏览:17
modal_logic
LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems
浏览:142
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
浏览:36
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 ...
Relevance Logic and Concurrent
浏览:116
Compositionality, i.e. that properties of composite systems are deduced in terms of those of their ...modal or temporal extensions of relevance logics to build compositional logics for processes.
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
wanhaizjuan
粉丝: 1
资源:
11
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
浅谈C语言基础:入门与实践
php时间复杂度大小比较
创建型 结构型 设计型设计模式相关知识
基于PHP实现的WEB图片共享系统
Yandex 翻译 v69.6 实时OCR翻译、对话翻译,文档翻译、OCR识别提取
小红大果_lx.apk
流浪猫狗救助网站(ssm)
关于 mysql 的一些简单操作 例如修改密码 增加字符等
jdk8u231版本,匹配RXTXcomm.jar(否则会崩溃)
基于Visual Studio与Mysql连接的图书馆管理系统,有源码有视频
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功