没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
modal_logic
modal_logic
共9个文件
lean:7个
gitignore:1个
toml:1个
Lean
需积分: 10
0 下载量
163 浏览量
2021-03-07
02:18:35
上传
评论
收藏
6KB
ZIP
举报
温馨提示
立即下载
modal_logic
资源推荐
资源详情
资源评论
modal logic
浏览:147
A very good book for model theory , computational complexity。
modal
浏览:137
目录 关于该项目 挑战 知道当用户在输入文本字段中键入内容时可以用来触发事件的正确关键字。 提出实现输入搜索过滤器和按钮过滤器的逻辑; 解决方案 一个简单的谷歌搜索有关输入字段上事件监听器的技巧就可以了; 终于实现了它,没想到我会花很多时间在它上面。 接触 Ajakaiye Afeso-@slimake- 项目链接: :
modal-源码
浏览:35
情态的
Blackburn_Modal_Logic.pdf
浏览:172
模态逻辑Blackburn_Modal_Logic.pdf
P.Blackburn_Modal_Logic
浏览:154
Modal Logic Patrick Blackburn patrick@coli.uni-sb.de Maarten de Rijke mdr@wins.uva.nl Yde Venema yde@wins.uva.nl
Rough-Set_src_1.0.zip_Modal Logic_Rough java_Tableaux System_dy
浏览:135
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 .
A NEW INTRODUCTION TO MODAL LOGIC
浏览:8
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 .
modal_problem
浏览:186
设置 ./build.sh 用法 对于基本模态,创建一个新的 Modal 对象,并传入一些内容: var modal = new Modal(dom_el, options) 对于图像模态: var modal = new Modal('http://my_image.jpg', options) 默认情况下,这会给你一个 50% 的浏览器窗口宽度和 50% 高的模式,带有关
modal.html
浏览:93
是利用Bootstrap 实现的简易弹框功能,用户单击一个按钮时,会跳出一个页面展示信息,也可以让用户填写信息。实现的是模态框。
form_modal
浏览:18
form_modal
modal.js
浏览:68
modal.js
logic
浏览:75
logic
Modal Logic
浏览:108
这是一本关于介绍modal logic 的经典著作。对于学习Modal Logic 非常有帮助。
The Proof Theory and Semantics of Intuitionistic Modal Logic
浏览:40
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
Handbook of Model Logic
浏览:156
Handbook of Model Logic,模型论的最从权威教材
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
浏览:155
[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf
Mathematical Logic - Carnap R - Meaning and Necessity. A Study in Semantics and Modal Logic
浏览:93
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 ...
modal_javascript
浏览:130
modal_javascript
u-modal.zip
浏览:87
ansys fluent建模结构 视频步骤讲解,实用度高
Philosophical and Mathematical Logic (Springer原版超清)
浏览:65
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, ...
LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems
浏览:186
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 ...
数理逻辑经典书籍
浏览:34
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 ...
形式化验证,模型检测和数理逻辑经典书籍系列(3)
浏览:111
5星 · 资源好评率100%
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);...Course in Modal Logic;模态逻辑讲义
QUANTUM LOGICS
浏览:147
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
浏览:88
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.
kripke:Twelf 中的模态逻辑和 Kripke 语义
浏览:162
克里普克 Twelf 中 Kripke 语义的形式化。 这段代码分为 kripke.elf 对盒子和菱形所需的预序的 Kripke 语义的表述。... 等效.elf 翻译过程以及将 modal-logic.elf 翻译成 Kripke 语义的健全性和完整性证明。
收起资源包目录
modal_logic-master.zip
(9个子文件)
modal_logic-master
src
modal_logic
axioms.lean
1KB
universal.lean
716B
tactic.lean
5KB
simple.lean
907B
basic.lean
107B
classes.lean
3KB
test.lean
245B
.gitignore
31B
leanpkg.toml
244B
共 9 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
新文达·小文姐姐
粉丝: 29
资源:
4545
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
汇编语言-assembly-贪吃蛇游戏-汇编语言期末大作业
CVD.csv数据集import时注意名称
调试版_语音识别智能家居系统.apk
shampoo-sales.csv
5G网络优化高级面试资料大全.zip
ef46c187-203b-4210-812d-ae6b5bd27d6670040050.apk
894558894149923tfwhzc718980.apk
node-v20.12.2-linux-x64.tar.xz
分布式电源接入电网承载力评估(Matlab代码实现)
Qt框架实现http/https资源下载的控制台软件
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功