处暑
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
A Deontic Logic of Actions and States
作者
Robert Trypuz,
Piotr Kulicki
出处
期刊：
Lecture Notes in Computer Science
[Springer Science+Business Media]
日期：2014-01-01
卷期号：: 258-272
被引量：1
标识
DOI：10.1007/978-3-319-08615-6_19
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
充电宝
上传了
应助文件
1秒前
HE
完成签到，获得积分
10
1秒前
酷酷的青槐
完成签到，获得积分
10
1秒前
DD
完成签到，获得积分
10
2秒前
RJ
发布了新的
文献求助
10
2秒前
李琦
完成签到
，获得积分
10
3秒前
深情安青
上传了
应助文件
3秒前
青荷听雨
发布了新的
文献求助
10
4秒前
Ava
上传了
应助文件
7秒前
5999
发布了新的
文献求助
10
7秒前
Kil
发布了新的
文献求助
10
7秒前
科研通AI6.2
的
应助
被
吃蛋挞了吗
采纳，获得
10
7秒前
小字
完成签到，获得积分
10
9秒前
完美世界
的
应助
被
cornelia
采纳，获得
10
9秒前
高级丹药师
完成签到，获得积分
10
9秒前
高级丹药师
发布了新的
文献求助
10
12秒前
Timezzz
发布了新的
文献求助
10
12秒前
酷酷的青槐
发布了新的
文献求助
10
14秒前
开朗的尔琴
完成签到，获得积分
10
15秒前
打打
上传了
应助文件
16秒前
完美世界
上传了
应助文件
18秒前
FashionBoy
上传了
应助文件
18秒前
机灵的沂
的
应助
被
152455
采纳，获得
10
18秒前
Super-YWQ
发布了新的
文献求助
10
19秒前
yuaasusanaann
完成签到，获得积分
10
19秒前
酷波er
的
应助
被
XXX
采纳，获得
10
20秒前
xf
完成签到，获得积分
10
20秒前
cornelia
发布了新的
文献求助
10
22秒前
yuaasusanaann
发布了新的
文献求助
10
22秒前
冷月
完成签到，获得积分
10
23秒前
黑土豆
完成签到，获得积分
10
24秒前
星子
完成签到，获得积分
10
24秒前
科目三
上传了
应助文件
25秒前
刻苦碧彤
上传了
应助文件
28秒前
mmmm
完成签到，获得积分
10
29秒前
炫迈口香糖
发布了新的
文献求助
10
29秒前
ding
上传了
应助文件
30秒前
酷波er
上传了
应助文件
30秒前
woshi123
的
应助
被
111
采纳，获得
10
30秒前
Liulu
发布了新的
文献求助
10
30秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
APA handbook of comparative psychology: Basic concepts, methods, neural substrate, and behavior
1000
全员动态考核，锚定高质量发展：读懂同济大学教师人事改革新政的深层价值
900
Health Psychology
800
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
The fast track to determining transfer functions of linear circuits: The student guide
500
Römisch-Germanische Forschungen
500
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7593951
求助须知：如何正确求助？哪些是违规求助？
9171043
关于积分的说明
19630481
捐赠科研通
7171716
什么是DOI，文献DOI怎么找？
3267682
关于科研通互助平台的介绍
2432486
邀请新用户注册赠送积分活动
2260349
今日热心研友
woshi123
185
1950
张欢馨
132
1660
渡人舟
53
1950
刻苦碧彤
166
750
Kao
59
1500
22336
51
1420
可靠铸海
87
890
cdercder
52
970
v0id
38
890
aajhajkahna
64
460
xing_xing
33
530
GingerF
820
aubusson
20
590
Literature
660
赵赶超
64
Joyi
514
不留
510
yjh123
17
300
斯文的白玉
390
ddd
390
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
woshi123
张欢馨
渡人舟
刻苦碧彤
Kao
22336
可靠铸海
cdercder
v0id
aajhajkahna
xing_xing
GingerF
aubusson
Literature
赵赶超
Joyi
不留
yjh123
斯文的白玉
ddd
皖公网安备34019202002308
