Logical Reasoning

Ask about this topic

Momentum

11 papers in the last four weeks, up 175% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 123

All topics
CardsList

  1. A Simple Doxastic Deontic Logic for Norm-Guided Decision Making

    Sep 30, 2026Thorsten Engesser, Agata CiabattoniLogical ReasoningConstrained Optimization

    TU Wien

  2. Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning

    Sep 29, 2026Qili Zhang, Qianren Mao, Hanze Cai +11Logical ReasoningRL for Language Model Reasoning

    Zhongguancun Laboratory · Beihang University · Nanyang Technological University +1

  3. A decision-support system applied to Law: Reasoning and explainability of the decision

    Sep 28, 2026Jeremy Bouche-Pillon, Pascale Zarat{é}, Yannick Chevalier +1Logical ReasoningExplainable Artificial Intelligence

    IRIT, IRIT-MELODI, IRIT-ADRIA, IRIT-LILaC · IRIT, UT Capitole, IRIT-ADRIA · IRIT-MELODI, IRIT, CNRS

  4. What Do Current Systematic Generalization Tasks Miss? A Reasoning-Centered Analysis

    Sep 16, 2026Chengwen Qi, Deheng Ye, Yatao BianLogical ReasoningAbductive Reasoning

    National University of Singapore · Nanyang Technological University

  5. Visual Compliance via Executable Safety Rule Entailment

    Sep 16, 2026Jisoo Kim, TaeYoon Kwack, Jinwoo Jang +1Logical ReasoningLLM Guardrails

    Sungkyunkwan University

  6. Autoformalizing Argumentative Material Inferences

    Sep 15, 2026Xin Quan, Reto Gubelmann, André FreitasLogical ReasoningInteractive Theorem Proving

    1Idiap Research Institute, Switzerland · University of Zurich, Switzerland · Department of Computer Science, University of Manchester, UK

  7. Legislating World-Model-Based Planning with Legal Reasoning

    Sep 14, 2026Dylan Waldner, Yiannis Kantaros, Guido Governatori +2Logical ReasoningRobot Task Planning

    Cognizant AI Lab, USA · Department of Electrical & Systems Engineering, Washington University, USA · School of Engineering and Technology, Central Queensland University, Australia +1

  8. Warrant Theory

    Sep 12, 2026Khashayar IraniLogical Reasoning

    Birkbeck College, University of London

  9. Three Types of Negation of Triple and its Elements and an Extension of Triple

    Sep 8, 2026Zhenghua PanLogical ReasoningKnowledge Representation

    School of Mathematics and Data Science, Jiangnan University, Wuxi 214122, China

  10. Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation

    Sep 7, 2026Zhenghua PanLogical ReasoningCounterfactual Reasoning

    School of Science, Institute of Mathematics and Physics, Jiangnan University, Wuxi 214122, China

  11. DODR: Deterministic Operator-Driven Reasoning in Latent Space

    Sep 7, 2026Weicai Huang (Beijing MQPat Technologies, Co., Ltd.)Logical ReasoningAbductive Reasoning

    Beijing MQPat Technologies, Co., Ltd.

  12. When Decodability Is Not Enough: Logical Validity Representations, Behavioral Dissociation, and Causal Tests in Language Models

    Sep 2, 2026Smitha Muthya Sudheendra, Jaideep SrivastavaLogical ReasoningRepresentation Probing

    University of Minnesota, Twin Cities

  13. Do General NLP Embeddings Capture Ontological Reasoning?

    Aug 31, 2026Hamed Babaei Giglou, Jennifer D'Souza, Sören AuerLogical ReasoningText Embedding Evaluation

    TIB Leibniz Information Centre for Science and Technology · Hannover, Lower Saxony, Germany · L3S Research Center, Leibniz University of Hannover

  14. Beyond Surface Forms: Symbolic Edits as a Test for Logical Reasoning with LLMs

    Aug 31, 2026Ramya Keerthy Thatikonda, Wray Buntine, Ehsan ShareghiLogical ReasoningLLM Evaluation

    Department of Data Science & AI, Monash University · ∃Department of Computer Science, University College London

  15. Structure-Preserving Uncertainty Propagation in First-Order Proof Search

    Aug 10, 2026Tanel TammetProbabilistic LogicLogical Reasoning

    Tallinn University of Technology

  16. Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?

    Aug 5, 2026Réemi Andrieu, Damien SileoLogical ReasoningLLM Evaluation

    Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 - CRIStAL, F-59000 Lille, France

  17. Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI

    Aug 1, 2026David A. NaumannLogical ReasoningFormal Verification

    Stevens Institute of Technology, USA

  18. DungeonBench: A Benchmark for Rules-Rich Tactical Reasoning in Dungeons & Dragons Combat

    Jul 31, 2026Ismayil Ismayilov, Atakan Kara, Kaan OktayLogical ReasoningGame-Playing Agents

    fal

  19. PIE-APT: Abductive Planning over Temporal Dynamic Knowledge Graphs via Incremental Reasoning

    Jul 29, 2026Amir Hossein Sharafi, Alireza ShahbaziLogical ReasoningAbductive Reasoning

    Najm · Department of Mathematics, Tafresh University

  20. Model-Driven Requirements Configuration with Three-Valued Uncertainty Scoring

    Jul 28, 2026Ahmed IbrahimLogical ReasoningRequirements Engineering

    aWestern University, London, Canada

  21. Semiotic logical hexagon theory for LLM logical reasoning

    Jul 24, 2026Yunyao Zhang, Xinglang Zhang, Zeliang Chen +2Logical ReasoningLLM Reliability

    aHuazhong University of Science and Technology, , Wuhan, 430074, Hubei, China

  22. Hybrid MKNF with Classical Negation in the Rule Component

    Jul 23, 2026Arun Raveendran Nair Sheela, Christophe Rey, Florence De GranceyLogical ReasoningSymbolic Reasoning

    Université Clermont Auvergne, LIMOS Laboratory, Thales · Université Clermont Auvergne, LIMOS · France +3

  23. Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic

    Jul 23, 2026Bowen XuLogical Reasoning

    Department of Computer and Information Sciences, Temple University, USA

  24. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschLogical ReasoningDynamic Epistemic Logic

    Institute of Philosophy and Human Sciences, UNICAMP Campinas, Brazil · University of Toulouse, IRIT-CNRS Toulouse, France

  25. Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes

    Jul 20, 2026Brian K ChenLogical ReasoningSymbolic Reasoning

    National University of Singapore

  26. NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning

    Jul 17, 2026Hui Yang, Jiaoyan Chen, Yiping Song +2Logical ReasoningAbductive Reasoning

    The University of Manchester · Zhejiang University

  27. Logic, Optimization, and Artificial Intelligence

    Jul 17, 2026J. N. HookerProbabilistic LogicLogical Reasoning

    Carnegie Mellon University

  28. Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL

    Jul 12, 2026Zoran MajkicProbabilistic LogicLogical Reasoning

    ISRST, Tallahassee, FL, USA

  29. Quantum Logic as the Logic of Contexts

    Jul 10, 2026Haruki Emori, Atsushi Iriki, Andrei Khrennikov +1Logical Reasoning

    Graduate School of Information Science and Technology, Hokkaido University, Kita 14, Nishi 9, Kita-ku, Sapporo, Hokkaido 060-0814, Japan · RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS), 2-1 Hirosawa, Wako, Saitama, 351-0198, Japan · Teikyo University Advanced Comprehensive Research Organization (ACRO), 2-21-1 Kaga, Itabashi-ku, Tokyo, 173-0003, Japan +2

  30. ClassicLogic: A Knowledge-Driven Benchmark of Classic Puzzle Games for Evaluating Compositional Generalization

    Jul 6, 2026Mahnoor Shahid, Hannes RotheLogical ReasoningBenchmark Design

    Universität Duisburg-Essen Germany