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

  31. The Changing Role of Symbolic Methods in Artificial Intelligence

    Jul 6, 2026Jun SunLogical ReasoningSymbolic Reasoning

    Singapore Management University, Singapore

  32. RusFinChain: A Russian Benchmark for Verifiable Chain-of-Thought Reasoning in Finance with Fuzzy-Aligned Evaluation

    Jul 1, 2026M. K. ArabovLogical ReasoningLLM Evaluation

    Kazan Federal University · Institute of Computational Mathematics and Information Technologies · Department of Data Analysis +1

  33. AGM-like Paraconsistent Partial Meet Abductive Expansion Operation

    Jun 30, 2026Ulisses Franceschi ElianoBelief RevisionLogical Reasoning

    Institute of Philosophy and the Humanities (IFCH) and Centre for Logic, Epistemology and The History of Science (CLE), University of Campinas (UNICAMP)

  34. Better Understanding, Understanding Better

    Jun 30, 2026Yu WeiLogical ReasoningDynamic Epistemic Logic

    Department of Philosophy, East China Normal University · Department of Philosophy East China Normal University Shanghai, China

  35. Analytic Cut in Epistemic Logics with Distributed Knowledge

    Jun 30, 2026Ryo Murai, Sizhuo Liu, Katsuhiko SanoLogical ReasoningEpistemic Logic

    Independent Researcher · Hokkaido University · Graduate School of Humanities and Human Sciences Hokkaido University Hokkaido, Japan +1

  36. COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives

    Jun 26, 2026David Steinmann, Antonia Wüst, Kristian Kersting +1Logical ReasoningVisual Reasoning

    Computer Science Department, TU Darmstadt · Hessian Center for AI (hessian.AI) · German Research Center for AI (DFKI) +2

  37. Beyond Logical Forms: LLM-Extracted Patterns for Fallacy Classification

    Jun 25, 2026Eleni Papadopulos, Firoj Alam, Giovanni Da San MartinoLogical Reasoning

    Politecnico di Torino, Italy · Università di Padova, Italy · Qatar Computing Research Institute, Qatar

  38. Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law

    Jun 24, 2026Tiansi Dong, Mateja Jamnik, Pietro LiòLogical ReasoningSymbolic Reasoning

    The Alan Turing Institute, 96 Euston Road, London, NW1 2DB, UK. · Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave., Cambridge, CB3 0FD, UK.

  39. Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

    Jun 23, 2026Giovanni Casini, Umberto StracciaLogical ReasoningDescription Logic

    CNR - ISTI · University of Cape Town · Istituto di Scienza e Tecnologie dell’Informazione, CNR - ISTI, Pisa, Italy +1

  40. HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs

    Jun 22, 2026Yucheng Wu, Jundong Xu, Mingzhen Ju +4Logical ReasoningLLM Evaluation

    State Key Laboratory of Multimedia Information Processing, Peking University · School of Computer Science, Peking University · School of Computing, National University of Singapore +3

  41. Answering Path Queries under Linear and Guarded Existential Rules

    Jun 22, 2026Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1Logical Reasoning

    LIRMM, Inria, University of Montpellier, CNRS, France · LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France · Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, France +3

  42. ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

    Jun 20, 2026Pei-Cing Huang, Chienyu Liu, Chan Hsu +3Logical ReasoningExplainability Evaluation

    Department of Information Management National Sun Yat-Sen University Kaohsiung, Taiwan · Graduate Institute of Data Science & Information Computing National Chung Hsing University Taichung, Taiwan

  43. QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation

    Jun 18, 2026Xinyi Zheng, Ling Shi, Tianlong Yu +3Logical ReasoningLLM Evaluation

    Huazhong University of Science and Technology Wuhan, China · Nanyang Technological University Singapore, Singapore · Hubei University Wuhan, China +2

  44. Provenance-Enhanced Statements in Knowledge Graphs

    Jun 13, 2026Fabio Vitali, Valentina PasqualLogical ReasoningData Provenance

    University of Bologna, Italy

  45. Transforming Shape Schemas with Composable Property-Graph Queries (Extended Version)

    Jun 12, 2026Philipp Seifer, Daniel Hernández, Ralf Lämmel +1Logical ReasoningGraph Reasoning

    The Software Languages Team, University of Koblenz, Germany · Institute for Artificial Intelligence, University of Stuttgart, Germany · University of Southampton, UK

  46. Obligation-Producing Actions

    Jun 12, 2026Kalonji Kalala, Iluju Kiringa, Tet YeapLogical ReasoningDeontic Logic

    University of Ottawa · Ottawa, Ontario, Canada

  47. Beyond representational alignment with brain-guided language models for robust reasoning

    Jun 10, 2026Mingqing Xiao, Kai Du, Zhouchen LinLogical ReasoningLanguage Modeling

    1State Key Lab of General AI, School of Intelligence Science and Technology, Peking University. · 3Microsoft Research Asia. · Department of Psychological and Cognitive Sciences, Tsinghua University.

  48. Mind the Perspective: Let's Reason Recursively for Theory of Mind

    Jun 10, 2026Chao Lei, Guang Hu, Meng Yang +2Logical ReasoningTheory of Mind

    School of Computing and Information Systems, The University of Melbourne, Australia · SensiLab, Monash University, Australia

  49. SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance

    Jun 8, 2026Hanna Abi Akl, Fabien Gandon, Catherine Faron +1Logical ReasoningSymbolic Reasoning

    Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France · Data ScienceTech Institute, Paris, France

  50. History of the Muddy Children Puzzle

    Jun 8, 2026Hans van DitmarschLogical ReasoningEpistemic Logic

    CNRS, France · IIT Kanpur, India

  51. TRIAGE: Dialectical LLM Reasoning for Explainable Risk Prediction on Irregularly Sampled Medical Time Series

    Jun 8, 2026Hyeongwon Jang, Gyouk Chu, Changhun Kim +4Irregular Time-Series ModelingLogical Reasoning

    KAIST · AITRICS · University of Wisconsin-Madison

  52. From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing

    Jun 8, 2026Jian Chen, Siyuan Li, Chucheng Wan +1Logical ReasoningLegal NLP

    The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China · Sun Yat-Sen University Guangzhou, China

  53. Standpoint Logics with Defeasible Beliefs

    Jun 7, 2026Nicholas Leisegang, Thomas Meyer, Sebastian RudolphLogical ReasoningNonmonotonic Reasoning

    University of Cape Town and CAIR, South Africa · Technische Universität Dresden, Dresden, Germany · ScaDS.AI – Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig, Germany

  54. Analysis of the Neglect-Zero Effect in Large Language Models

    Jun 4, 2026Jin Tanaka, Daiki Matsuoka, Ryoma Kumon +1Logical ReasoningLLM Evaluation

    The University of Tokyo · RIKEN · Tohoku University

  55. DAR: Deontic Reasoning with Agentic Harnesses

    Jun 3, 2026Guangyao Dou, William Jurayj, Nils Holzenberger +1Logical ReasoningAgentic Reasoning

    Johns Hopkins University · Télécom Paris, Institut Polytechnique de Paris

  56. A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

    Jun 3, 2026Huanyu Yang, Yangfan Wu, Jianmin JiLogical ReasoningAnswer Set Programming

    School of Computer Science and Technology, University of Science and Technology of China (USTC), Hefei, Anhui, China · Department of Computer Science and Engineering, The Hong Kong University of Science and Technology (HKUST), Hong Kong SAR, China

  57. Reasoning Structure of Large Language Models

    Jun 2, 2026Frédéric Berdoz, Luca A. Lanzendörfer, Fabian Farestam +1Logical ReasoningLLM Evaluation

    1ETH Zurich, Switzerland.

  58. Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

    Jun 2, 2026Nicholas Leisegang, Thomas Meyer, Ivan VarzniczakLogical ReasoningNonmonotonic Reasoning

    University of Cape Town and CAIR, South Africa · 2Université Sorbonne Paris Nord, Inserm, Sorbonne Université, Limics, 93017 Bobigny, France · 3ISTI-CNR, Pisa, Italy

  59. ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics

    Jun 2, 2026Peng ChenBelief RevisionLogical Reasoning

    School of Information Science, Beijing Language and Culture University Beijing 100081

  60. TLG: Temporal-Logic Grounding for Video Question Answering via Source-Annotation Reconstruction and Category-Targeted Reasoning

    Jun 1, 2026Ali AlaviTemporal Video GroundingLogical Reasoning

    The Ohio State University