logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
A

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025

IF
论文数25
被引数
期刊论文 25
发表时间
delete
Intuitionistic μ-Calculus with the Lewis Arrow直觉主义μ演算与刘易斯箭头
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAfshari, Bahareh; Grotenhuis, Lide
delete分享
delete收藏
Interpolation for Converse PDL逆PDL的插值
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteKloibhofer, Johannes; Dalmas, Valentina Trucco; Venemal, Yde
delete分享
delete收藏
Intuitionistic BV直觉主义BV
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAcclavio, Matteo; Strassburger, Lutz
delete分享
delete收藏
Refined Tableau Systems for Some Modal Logics of Confluence合流的一些模态逻辑的改进表格系统
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMotalebi, Kiana Samadpour; Schmidt, Renate A.; Nalon, Claudia
delete分享
delete收藏
The Modal Cube Revisited: Semantics Without Worlds模态立方体再探：无世界的语义学
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteLeme, Renato; Olarte, Carlos; Pimentel, Elaine; Coniglio, Marcelo Esteban
delete分享
delete收藏
Designing a Safe Forward Chaining Tactic Using Productive Proofs利用生成性证明设计一种安全的正向链接策略
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteChaudhuri, Kaustuv; Gantait, Arunava; Miller, Dale
delete分享
delete收藏
Analytic Calculi for Logics of Indicative Conditionals祈使条件逻辑的分析演算
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteGreati, Vitor; Marcelino, Sergio; Perez, Miguel Munoz; Rivieccio, Umberto
delete分享
delete收藏
Non-wellfounded Proof Theory for Interpretability Logic非良基可解释性逻辑的证明论
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteHorvat, Sebastijan; Miranda, Borja Sierra; Studer, Thomas
delete分享
delete收藏
A Sequent Calculus Perspective on Base-Extension Semantics基于序列演算的基扩展语义视角
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBarroso-Nascimento, Victor; Piotrovskaya, Ekaterina; Pimentel, Elaine
delete分享
delete收藏
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic基于证明论的基本直觉主义条件逻辑视角
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete1
deleteOAAI
deleteDalmonte, Tiziano; Girlando, Marianna
delete分享
delete收藏
A Tableau System for First-Order Logic with Standard Names一阶逻辑标准名称的表格系统
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteClassen, Jens; Brauner, Torben
delete分享
delete收藏
Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract)直觉主义模态逻辑的基扩展语义（扩展摘要）
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBuzoku, Yll; Pym, David J.
delete分享
delete收藏
Semi-competitive Differential Game Logic半竞争微分博弈逻辑
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteButte, Julia; Platzer, Andre
delete分享
delete收藏
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity有界探究逻辑：sequent演算与图式有效性
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteLitak, Tadeusz; Sano, Katsuhiko
delete分享
delete收藏
Cyclic System for an Algebraic Theory of Alternating Parity Automata交替奇偶自动机的代数理论的循环系统
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteDas, Anupam; De, Abhishek
delete分享
delete收藏
Justification Logic for Intuitionistic Modal Logic直觉主义模态逻辑的证明逻辑
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMarin, Sonia; Padhiar, Paaras
delete分享
delete收藏
Forward Proof Search for Intuitionistic Multimodal K Logics直觉主义多模态K逻辑的前向证明搜索
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteVoorneveld, Niels
delete分享
delete收藏
Finding Connections via Satisfiability Solving通过可满足性求解寻找连接
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteEisenhofer, Clemens; Rawson, Michael; Kovacs, Laura
delete分享
delete收藏
Analytic Proofs for Tense Logic时态逻辑的分析证明
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteCiabattoni, Agata; Lang, Timo; Ramanayake, Revantha
delete分享
delete收藏
A Godel Modal Logic over Witnessed Crisp Models基于见证清晰模型的哥德尔模态逻辑
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteFerrari, Mauro; Fiorentini, Camillo; Rodriguez, Ricardo Oscar
delete分享
delete收藏