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

Journal of Logic Language and Information

IF0.6
论文数29
被引数
期刊论文 29
发表时间
delete
The Algebra of Analytic Containment解析包含的代数
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deletePaoli, Francesco; Szmuc, Damian; Zirattu, Martina
delete分享
delete收藏
A Topical Approach to Implication-in-Fiction and Analytic Containment Logics关于蕴含-虚构和解析包容逻辑的专题研究方法
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteTedder, Andrew; Mares, Edwin
delete分享
delete收藏
Algebraic Semantics for Interpretability Logics代数语义用于可解释性逻辑
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteSestak, Teo
delete分享
delete收藏
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems连接并发理论与认知模型：动态多智能体系统的形式化框架
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteAldini, Alessandro; Fusco, Ludovico
delete分享
delete收藏
A Simple Sequent Calculus for Weak Full Grounding弱完全归约的简单序列演算
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteTsuboi, Shogo
delete分享
delete收藏
Substructural Routes to Variable Inclusion子结构路径至可变包含
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteBorzi, Agustina; Zirattu, Martina
delete分享
delete收藏
Completeness of coalition logics with seriality, independence of agents, or determinism具有串行性、智能体独立性或确定性的联盟逻辑的完备性
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete1
PREAI
deleteLi, Yinfeng; Ju, Fengkui
delete分享
delete收藏
The Relational Syllogistic in the Quantified Argument Calculus量化论证演算中的关系三段论
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteYin, Hongkai
delete分享
delete收藏
On Relevant Acceptable Strictly Connexive Logics关于相关可接受严格连通逻辑
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
PREAI
deleteRobles, Gemma
delete分享
delete收藏
Justification Logics with Counterfactual and Relevant Conditionals反事实与相关条件句的论证逻辑
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
PREAI
deleteGhari, Meghdad
delete分享
delete收藏
Variable Sharing and Mathematical Practice变量共享与数学实践
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteMangraviti, Franci
delete分享
delete收藏
VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing PropertyVSPursuer：一个用于寻找具有变量共享性质矩阵的工具
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteRozek, Brandon; Tedder, Andrew
delete分享
delete收藏
Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration动态系统中的时序依赖关系，一种模态风格的探索
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
PREAI
deleteBaltag, Alexandru; van Benthem, Johan; Li, Dazhu
delete分享
delete收藏
Vectors for Topics: The use of Topical Vector Spaces in Epistemic Logics主题向量的使用：认识论逻辑中的主题向量空间
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
deleteOAAI
deleteFerenz, Nicholas
delete分享
delete收藏
Carnap, Categoricity, and Commas卡尔纳普、类别性和逗号
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
deleteOAAI
deleteWesterstahl, Dag
delete分享
delete收藏
Piecewise Testable and Strictly Piecewise Functions for Long-distance Phonological Processes分段可测试和严格分段函数用于长距离音位过程
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
PREAI
deleteBurness, Phillip; Mcmullin, Kevin
delete分享
delete收藏
Modal Embedding of the Logic of Analytic Implication模态嵌入的解析蕴含逻辑
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
deleteOAAI
deleteMatsuura, Shin
delete分享
delete收藏
The Dynamics of Knowing How《知道如何的动力学》
deleteJournal of Logic Language and Information
IF0.6
delete2025-12-01
delete0
PREAI
deleteAreces, Carlos; Fervari, Raul; Saravia, Andres R.; Velazquez-Quesada, Fernando R.
delete分享
delete收藏
A Vector Logic for Extensional Formal Semantics用于扩展形式语义的向量逻辑
deleteJournal of Logic Language and Information
IF0.6
delete2025-11-01
delete0
deleteOAAI
deleteQuigley, Daniel
delete分享
delete收藏
Deontic Action Logics: A Modular Algebraic Perspective道义行动逻辑：一种模块化代数视角
deleteJournal of Logic Language and Information
IF0.6
delete2025-11-01
delete0
PREAI
deleteAreces, Carlos; Cassano, Valentin; Castro, Pablo; Fervari, Raul
delete分享
delete收藏