logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
J

Journal of Logic Language and Information

IF0.6
Papers30
Citations
Journal Papers 30
Publication Date
delete
A Note on Halpern's Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs
deleteJournal of Logic Language and Information
IF0.6
delete2026-05-01
delete0
PREAI
deleteHerzig, Andreas; Saffidine, Abdallah
deleteShare
deleteSave
The Algebra of Analytic Containment
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deletePaoli, Francesco; Szmuc, Damian; Zirattu, Martina
deleteShare
deleteSave
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
deleteShare
deleteSave
Algebraic Semantics for Interpretability Logics
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteSestak, Teo
deleteShare
deleteSave
A Simple Sequent Calculus for Weak Full Grounding
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteTsuboi, Shogo
deleteShare
deleteSave
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
deleteShare
deleteSave
Substructural Routes to Variable Inclusion
deleteJournal of Logic Language and Information
IF0.6
delete2026-03-01
delete0
PREAI
deleteBorzi, Agustina; Zirattu, Martina
deleteShare
deleteSave
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
deleteShare
deleteSave
The Relational Syllogistic in the Quantified Argument Calculus
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteYin, Hongkai
deleteShare
deleteSave
On Relevant Acceptable Strictly Connexive Logics
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
PREAI
deleteRobles, Gemma
deleteShare
deleteSave
Justification Logics with Counterfactual and Relevant Conditionals
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
PREAI
deleteGhari, Meghdad
deleteShare
deleteSave
Variable Sharing and Mathematical Practice
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteMangraviti, Franci
deleteShare
deleteSave
VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property
deleteJournal of Logic Language and Information
IF0.6
delete2026-02-01
delete0
deleteOAAI
deleteRozek, Brandon; Tedder, Andrew
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Carnap, Categoricity, and Commas
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
deleteOAAI
deleteWesterstahl, Dag
deleteShare
deleteSave
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
deleteShare
deleteSave
Modal Embedding of the Logic of Analytic Implication
deleteJournal of Logic Language and Information
IF0.6
delete2026-01-01
delete0
deleteOAAI
deleteMatsuura, Shin
deleteShare
deleteSave
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.
deleteShare
deleteSave
A Vector Logic for Extensional Formal Semantics
deleteJournal of Logic Language and Information
IF0.6
delete2025-11-01
delete0
deleteOAAI
deleteQuigley, Daniel
deleteShare
deleteSave