发布求助
文献互助 智能选刊 最新文献

International Conference on Theorem Proving with Analytic Tableaux and Related Methods最新文献

筛选
英文 中文
A Standard Internal Calculus for Lewis' Counterfactual Logics 路易斯反事实逻辑的标准内演算
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_19
N. Olivetti, G. Pozzato
{"title":"A Standard Internal Calculus for Lewis' Counterfactual Logics","authors":"N. Olivetti, G. Pozzato","doi":"10.1007/978-3-319-24312-2_19","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_19","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128319969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics 特邀演讲:论一种(相当)普遍定理的证明方法及其在形而上学中的应用
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_15
Christoph Benzmüller
{"title":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics","authors":"Christoph Benzmüller","doi":"10.1007/978-3-319-24312-2_15","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_15","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126280404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Integrating Simplex with Tableaux 集成Simplex与Tableaux
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_7
Guillaume Bury, David Delahaye
{"title":"Integrating Simplex with Tableaux","authors":"Guillaume Bury, David Delahaye","doi":"10.1007/978-3-319-24312-2_7","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_7","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130338394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A Modal-Layered Resolution Calculus for K K的模态分层分辨率演算
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_13
C. Nalon, U. Hustadt, C. Dixon
{"title":"A Modal-Layered Resolution Calculus for K","authors":"C. Nalon, U. Hustadt, C. Dixon","doi":"10.1007/978-3-319-24312-2_13","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_13","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"327 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133500093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications 关系型一元公式的二阶量词消去——一种基本方法及一些不太期望的应用
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_18
C. Wernhard
{"title":"Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications","authors":"C. Wernhard","doi":"10.1007/978-3-319-24312-2_18","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_18","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"319 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121838290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics 基于邻域语义的优先条件逻辑的序贯演算
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_9
Sara Negri, N. Olivetti
{"title":"A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics","authors":"Sara Negri, N. Olivetti","doi":"10.1007/978-3-319-24312-2_9","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_9","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129225746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations 有限逼近迭代求精反证法
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_11
Taus Brock-Nannestad, Kaustuv Chaudhuri
{"title":"Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations","authors":"Taus Brock-Nannestad, Kaustuv Chaudhuri","doi":"10.1007/978-3-319-24312-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_11","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133387807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Dynamic Logic with Traces and Coinduction 具有迹和共归纳的动态逻辑
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_21
Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
{"title":"A Dynamic Logic with Traces and Coinduction","authors":"Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata","doi":"10.1007/978-3-319-24312-2_21","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_21","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114378226","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Efficient Low-Level Connection Tableaux 高效的低级连接表
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_8
C. Kaliszyk
{"title":"Efficient Low-Level Connection Tableaux","authors":"C. Kaliszyk","doi":"10.1007/978-3-319-24312-2_8","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_8","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130492493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Realization Theorems for Justification Logics: Full Modularity 证明逻辑的实现定理:全模块化
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_16
A. Borg, R. Kuznets
{"title":"Realization Theorems for Justification Logics: Full Modularity","authors":"A. Borg, R. Kuznets","doi":"10.1007/978-3-319-24312-2_16","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_16","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121290826","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信