Logic

Follow this topic Ask about this topic

Momentum

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

Jul 13Week of Sep 28

Latest papers 97

All topics

A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
Sep 30, 2026Thorsten Engesser, Agata CiabattoniEthics Decisions
TU Wien
The Conflict Between Logic and Memory: Learning Higher-Order Interactions in Shallow MLPs
Sep 30, 2026Gongyue Zhang, Honghai LiuMultilayer Perceptrons Rectified Linear Unit Networks
What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification
Sep 29, 2026Adrian de WynterLLM Reasoning Strategies Chain-of-Thought Reasoning
Microsoft and the University of York
GameLogicBench: Evaluating Coding Agents on Runtime Game Logic with Tick-Level State Assertions
Sep 18, 2026Xinyu Che, Yunfei Ge, Shihao Li +9Agentic Benchmarks Coding Agents
Nanjing University
Can We Do Interpretable NLI with Graphs Based on Atomic Propositions?
Sep 15, 2026Younes Boufouss, Luc Pommeret, Thomas Gerald +2Natural Language Inference Interpretability
STL, LISN · Université Paris-Saclay, CNRS, LISN, Orsay, France · STL, CNRS, LISN +2
Fewer Words, Not Fewer Tokens: Measuring the Sanskrit Tokenization Penalty per Proposition
Sep 14, 2026Devansh SharmaByte-Pair Encoding Indian Languages
Independent researcher
Fitting and Learning Basis-Restricted Propositional Formulas
Sep 8, 2026Balder ten CateTractability Logic
Evidence, Logic, and Compliance: Multi-Agent Structured Graph Reasoning with Expert Arbitration for Medical Referral
Aug 31, 2026Qi Peng, Yi Cai, Jialin Cui +7Multi-Agent Reasoning Reasoning Graphs
School of Software Engineering, South China University of Technology, Guangzhou, China · School of Computer Science and Network Engineering, Guangzhou University, Guangzhou China · Department of Computing, Hong Kong Polytechnic University, Hong Kong, China +2
Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$
Aug 13, 2026Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1Ontology Efficient Latent Reasoning
Computer Science Program, Computer, Electrical, and Mathematical Sciences & Engineering Division, King Abdullah University of Science and Technology, Thuwal 23955, Saudi Arabia
From Atomic Evidence to Logical Composition: Structured Compositional Reasoning over Compound Answer Options
Aug 13, 2026Obed Junias, Maria Leonor PachecoLogic Answer
University of Colorado Boulder
sLTN: Structural Logic Tensor Networks
Aug 11, 2026Davide Rinaldi, Luciano SerafiniTensor Networks Neuro-Symbolic Framework
Nokia Bell Labs · Fondazione Bruno Kessler
A Minimal $κ$ -- $τ$ Logic for Risk-Sensitive Abduction
Aug 8, 2026Remo PareschiAbductive Reasoning Logic
STAKE Lab, University of Molise 86100 Campobasso, Italy
From probability to causality in probabilistic logic programming
Aug 7, 2026Zora Wurm, Kilian Rückschloß, Felix WeitkämperCausal Reasoning Probabilistic Model
Ludwig-Maximilians-Universität München, Oettingenstraße 67, 80538 München · Eberhard-Karls-Universität Tübingen, Auf der Morgenstelle 10, 72076 Tübingen · German University of Digital Science, Marlene-Dietrich-Allee 14, 14482 Potsdam
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?
Aug 5, 2026Réemi Andrieu, Damien SileoLogic Reasoning Skills
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 - CRIStAL, F-59000 Lille, France
Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility
Aug 4, 2026Jo-Ku Cheng, Nikolaos Aletras, Marco ValentinoLarge Language Model Pretraining Pretraining
School of Computer Science, University of Sheffield, United Kingdom
Language Models Encode the Contextual Truth of Propositions
Aug 4, 2026Rupak Sarkar, Pritika Ramu, Rachel RudingerTruth LLM Reasoning Strategies
University of Maryland, College Park
Alternating-Time Temporal Logic with Mean-Payoff Guarantees
Aug 2, 2026Muhammad NajibLinear Temporal Logics Multi-Agent Coordination
Heriot-Watt University, Edinburgh, UK
Similarity Is Not Logic: Factored Inference for Dual-Encoder Vision-Language Models
Jul 25, 2026Sultan Alshehri, Zhantao Yang, Han Zhang +1Similarity and Metrics Exploratory Factor Analysis
Carnegie Mellon University, Pittsburgh, PA, USA.
Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming
Jul 25, 2026Zirong Chen, Meiyi MaReasoning Chain Reasoning Benchmark
Department of Computer Science, Vanderbilt University, USA
Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study
Jul 23, 2026Yan Huang, Xubing Hao, Xiaojin Li +4Clinical Trials Natural Language
McGovern Medical School, The University of Texas Health Science Center at Houston, Houston, Texas, USA · McWilliams School of Biomedical Informatics, The University of Texas Health Science Center at Houston, Houston, Texas, USA
Logic Programming Semantics for Causal Processes
Jul 23, 2026Felix WeitkämperLogic Causal
German University Of Digital Science Potsdam, Germany
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
Jul 23, 2026Kilian Rueckschloss, Felix WeitkaemperCausal Modeling Local Causal Structures
Eberhard Karls Universitaet Tuebingen · University of Tübingen Tübingen, Germany · German University of Digital Science +1
Towards a Certifying Grounder
Jul 23, 2026Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1First-Order Logic Certification
KU Leuven, Leuven, Belgium · ARC Training Centre OPTIMA, Melbourne, Australia · Vrije Universiteit Brussel, Brussels, Belgium
Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
Jul 23, 2026Akihiro Takemura, Katsumi InoueNeuro-Symbolic Framework Differentiable Logic Gate Networks
National Institute of Informatics, Tokyo, Japan
The Dynamic Turn in Paraconsistency
Jul 22, 2026Rafael Ongaratto, Hans van DitmarschLogic Axiom
Institute of Philosophy and Human Sciences, UNICAMP Campinas, Brazil · University of Toulouse, IRIT-CNRS Toulouse, France
Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities
Jul 22, 2026Hanna Abi Akl, Fabien Gandon, Catherine Faron +1Small Large Language Models Logic
Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France · Data ScienceTech Institute, Paris, France
Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes
Jul 20, 2026Brian K ChenLogic Logit Lens
National University of Singapore
From Modalities to Propositions: A Language-Centric Framework for Multimodal Intelligence
Jul 18, 2026Nadine Chang, Maying Shen, Shizhe Diao +6Multimodal Understanding Modalities
NVIDIA · University of Ottawa
Berkeley and Heiserman as an Unexhausted Architecture for Embodied Machine Intelligence
Jul 17, 2026Christopher A. TuckerEmbodied Artificial Intelligence Logic
Logic, Optimization, and Artificial Intelligence
Jul 17, 2026J. N. HookerLogic Optimality
Carnegie Mellon University
HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization
Jul 15, 2026Abdullah Shaikh, Zain Naqi, Taha Zahid +2LLM Reasoning Strategies Logic
Dhanani School of Science & Engineering Habib University, Pakistan
Explaining Reinforcement Learning Agents via Inductive Logic Programming
Jul 15, 2026Celeste Veronese, Edoardo Zorzi, Daniele Meli +1Offline Reinforcement Learning Xai
University of Verona, Italy · Sapienza University of Rome, Italy
Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing
Jul 13, 2026Jean Marie Lagniez, Emmanuel LoncaPreprocessing Efficient Planning
CRIL, U. Artois & CNRS, F-62300 Lens, France
First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
Jul 12, 2026Christoph Benzmüller, Daniel KirchnerFirst-Order Logic Logic
University of Bamberg, Bamberg, Germany · Freie Universität Berlin, Berlin, Germany
LOGOS: A Living Logic for AI Agent Teams That Evolve With Humans
Jul 12, 2026Yuma Ichikawa, Yamato Arai, Kosaku Kimura +2Human-In-The-Loop Self-Evolution
1Fujitsu Limited · 2RIKEN Center for AIP · 4Tokai University
Quantum Logic as the Logic of Contexts
Jul 10, 2026Haruki Emori, Atsushi Iriki, Andrei Khrennikov +1Qubit Logic
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
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
Jun 30, 2026Ulisses Franceschi ElianoAbductive Reasoning Logic
Institute of Philosophy and the Humanities (IFCH) and Centre for Logic, Epistemology and The History of Science (CLE), University of Campinas (UNICAMP)
Analytic Cut in Epistemic Logics with Distributed Knowledge
Jun 30, 2026Ryo Murai, Sizhuo Liu, Katsuhiko SanoLogic Modalities
Independent Researcher · Hokkaido University · Graduate School of Humanities and Human Sciences Hokkaido University Hokkaido, Japan +1
Inquisitive Action Logic
Jun 30, 2026Ivano CiardelliLogic Coalition Formation
University of Padua · University of Padua, Italy
Belief Contraction in Dynamic Epistemic Logic
Jun 30, 2026Gaia Belardinelli, Snow ZhangDynamic Epistemic Logic Logic
Stanford University · Department of Philosophy Stanford University Stanford, USA · University of Berkeley, California +1
The Logic of Data Access and Data Exchanges
Jun 30, 2026Alexandru Baltag, Sonja SmetsLogic Axiom
ILLC, University of Amsterdam · University of Amsterdam, ILLC Amsterdam, Netherlands
From Propositional to Perceptual Asymmetry: Extending Frictive Policy Optimization to Asymmetric Partial Information Dialogue
Jun 29, 2026Yifan Zhu, Kyeongmin Rim, James PustejovskyInformation Asymmetry Asymmetry
Brandeis University, Waltham, MA, USA
LogiCo: A Unified Framework for Logical and Structural Anomaly Detection
Jun 27, 2026Ximiao Zhang, Min Xu, Xiuzhuang ZhouInterpretable Anomaly Detection Logic
School of Intelligent Engineering and Automation, Beijing University of Posts and Telecommunications, Beijing, China · College of Information and Engineering, Capital Normal University, Beijing, China
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Jun 25, 2026Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3Signal Temporal Logic Logic
University of Southern California, Los Angeles, CA, USA · University of Texas at Austin, Austin, TX, USA · ETH Zürich, Zürich, Switzerland
Beyond Logical Forms: LLM-Extracted Patterns for Fallacy Classification
Jun 25, 2026Eleni Papadopulos, Firoj Alam, Giovanni Da San MartinoLogical Fallacies Large Language Models Fail
Politecnico di Torino, Italy · Università di Padova, Italy · Qatar Computing Research Institute, Qatar
LogicIR: Logic Gate Networks for Image Restoration
Jun 25, 2026Hongjae Lee, Myungjun Son, Jaeseong Yu +1Image Restoration Differentiable Logic Gate Networks
Korea University
Theory-Scale Auto-Formalization of Logics for Computer Science
Jun 25, 2026Yuming Feng, Frederick Pu, One An +5Autoformalization Formal Verification
Johns Hopkins University · University of Toronto · University of Pennsylvania +1
Radical AI Interpretability
Jun 25, 2026Daniel A. Herrmann, Benjamin A. LevinsteinTrustworthy Artificial Intelligence Mechanistic Interpretability
University of North Carolina, Chapel Hill · Anthropic · University of Illinois, Urbana-Champaign
Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation
Jun 23, 2026Xia Zong, Tuomo Lehtonen, Jussi RintanenHeuristics Beam Search
Department of Computer Science, Aalto University
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
Jun 19, 2026Lydia Bakiri, Jérémy Dubut, Sergio MoverLinear Temporal Logics Reachability
LIX, CNRS, École polytechnique, Institut Polytechnique de Paris, Palaiseau, France
Study on Quantitative Dynamic Epistemic Logic for Belief Revision
Jun 18, 2026Felipe Nunes de Souza CamargoDynamic Epistemic Logic Logic
State University of Campinas (UNICAMP), Campinas-SP, Brasil
DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs
Jun 18, 2026Saimun Habib, Vaishak Belle, Fengxiang HeCounterfactuals Logic
University of Edinburgh
pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems
Jun 17, 2026Bennett Dogbey, Hemanth ManjunathaSignal Temporal Logic Probabilistic Safety
Dept. of Mechanical and Aerospace Engineering, Oklahoma State University, Stillwater, OK USA
Structural Preservation and the Logical Expressiveness of Graph Neural Networks
Jun 16, 2026Przemysław Andrzej Wałęga, Bernardo Cuenca GrauGraph Neural Networks Logic
Queen Mary University of London · University of Oxford
Benchmarking Knowledge Editing using Logical Rules
Jun 9, 2026Tatiana Moteu Ngoli, NDah Jean Kouagou, Hamada M. Zahera +1Multimodal Knowledge Editing Knowledge Graphs
Data Science Group, Heinz Nixdorf Institute, Paderborn University
Decoupling Semantics and Logic: A Training-Free Coarse-to-Fine Pipeline for Video Retrieval-Augmented Generation
Jun 6, 2026Jiaxin Dai, Zehang Wei, Jiamin Yan +1Multimodal Retrieval Augmented Generation Video Multimodal Large Language Models
School of AI and Automation, Huazhong University of Science and Technology, China · School of Computer Science & Tech, Huazhong University of Science and Technology
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Jun 2, 2026Nicholas Leisegang, Thomas Meyer, Ivan VarzniczakLogic Entailment
University of Cape Town and CAIR, South Africa · 2Université Sorbonne Paris Nord, Inserm, Sorbonne Université, Limics, 93017 Bobigny, France · 3ISTI-CNR, Pisa, Italy
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
May 28, 2026João Filipe, Álvaro Torralba, Gregor BehnkeSatisfiability Classical Planning
University of Amsterdam, Institute for Logic Language and Computation, The Netherlands · Aalborg University, Denmark
Label Over Logic? How Source Cues Bias Human Fallacy Judgments More Than LLMs
May 28, 2026Mahjabin Nahar, Nafis Irtiza Tripto, Aiping Xiong +2Logical Fallacies Human Judgment
The Pennsylvania State University
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
May 26, 2026Christoph Benzmüller, Daniel Kirchner, Luca PasettoFirst-Order Logic Logic
Otto-Friedrich-Universität Bamberg, Kapuzinerstraße 16, 96047 Bamberg, Germany · Freie Universität Berlin, Kaiserswerther Str. 16-18, 14195 Berlin, Germany · University of Luxembourg, P. de l’Université 2, 4365 Esch-sur-Alzette, Luxembourg

Sep 30, 2026, cs.AIJ/K move · Enter open · S save

A Simple Doxastic Deontic Logic for Norm-Guided Decision Making

Thorsten Engesser, Agata Ciabattoni

TU Wien

Ethics Decisions Logic Spectral Norm Simple

Open paper AskPDF arXiv

Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas' Minimal Deontic Logic, extended with explicit conditional norms and combined with multi-agent KD45, so that norms can depend on agents' beliefs about both facts and norms. On this logic we define the Doxastic Norm Compliance Optimization Problem, where an agent chooses a decision minimizing weighted norm violations. We distinguish subjective optimization (relative to the agent's beliefs) from objective optimization (relative to the actual facts). We give conditions under which (i) the two coincide and (ii) optimal decision-making can be reduced to weighted partial MaxSAT in polynomial time.

Momentum

Related topics

Latest papers 97