Buchumschlag

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zang, Zhengqing, Ding, Yuqi, Gu, Yanmei, Song, Changkai, Yang, Zhengkai, Du, Guoping, Zhao, Junbo, Wang, Haobo
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
von: Guzmán, Manuel Vargas, et al.
Veröffentlicht: (2025)

The Syllogistic with Unity
von: Pratt-Hartmann, Ian
Veröffentlicht: (2011)

Logics for the Relational Syllogistic
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2008)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
von: Wan, Yuxuan, et al.
Veröffentlicht: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
von: Pratt-Hartmann, Ian
Veröffentlicht: (2007)

The Logics of Individual Medvedev Frames
von: Chen, Zhicheng, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
von: Esteves, Marta
Veröffentlicht: (2025)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
von: Protin, Clarence Lewis
Veröffentlicht: (2022)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)

Logic of the Great, Logic of the Wise 2
von: Fedorchenko, Mikhail
Veröffentlicht: (2026)

Reasons for Logic, Logic for Reasons
von: Heyndels, Sybren
Veröffentlicht: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
von: Li, James, et al.
Veröffentlicht: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
von: Pradeep, Pavana, et al.
Veröffentlicht: (2026)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
von: Chen, Michael K., et al.
Veröffentlicht: (2025)

Strong Completeness of Provability Logic for Uncountable Languages
von: Golshani, Mohammad, et al.
Veröffentlicht: (2026)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
von: Liu, Yinhong, et al.
Veröffentlicht: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
von: Brancas, Ricardo, et al.
Veröffentlicht: (2024)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
von: Qasim, Kaleem Ullah, et al.
Veröffentlicht: (2025)

Positive Logic: An Introduction for Model Theorists
von: Kamsma, Mark
Veröffentlicht: (2025)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)