Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

机译：破坏模式逻辑：一些模型和证明理论方面

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Aucher, Guillaume; Van Benthem, Johan; Grossi, Davide;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A proof-theoretic study of the correspondence of classical logic and modal logic [J] . H. Kushida, M. Okada Journal of Symbolic Logic . 2003,第4期

机译：古典逻辑与模态逻辑对应的证明理论研究
2. Refutations, Proofs, and Models in the Modal Logic K4 [J] . Tomasz Skura Studia Logica . 2002,第2期

机译：模态逻辑K4中的引用，证明和模型
3. Modal logics of sabotage revisited [J] . GUILLAUME AUCHER, JOHAN VAN BENTHEM, DAVIDE GROSSI Journal of logic and computation . 2018,第2期

机译：再谈破坏活动的模态逻辑
4. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects [C] . Guillaume Aucher, Johan van Benthem, Davide Grossi International workshop on logic, rationality, and interaction . 2015

机译：破坏模式逻辑：一些模型和证明理论方面
5. Some results in computability and the proof theory of predicate modal logic [D] . Schwartz, Yehuda. 2012

机译：谓词模态逻辑的可计算性和证明理论的一些结果
6. Theoretical aspects and modelling of cellular decision making cell killing and information-processing in photodynamic therapy of cancer [O] . Ioannis Gkigkitzis 2013

机译：癌症光动力疗法中细胞决策细胞杀伤和信息处理的理论方面和建模
7. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects [O] . Aucher, Guillaume, Van Benthem, Johan, Grossi, Davide 2015

机译：破坏模式逻辑：一些模型和证明理论方面
8. Operations on Proofs That Can be Specified by Means of Modal Logic [R] . Artemov, S. N. 1999

机译：可以通过模态逻辑指定的证明操作

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅