Logic

Follow this topic Ask about this topic

Recent momentum

-86%

2 papers in the last 28 days · 0.1% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-14

1 new paper

A weekly snapshot of new work published in Logic.

79 papers

Latest in Logic

Open your feed →

Fitting and Learning Basis-Restricted Propositional Formulas
Sep 8, 2026Balder ten CateComputable Logic
Evidence, Logic, and Compliance: Multi-Agent Structured Graph Reasoning with Expert Arbitration for Medical Referral
Aug 31, 2026Qi Peng, Yi Cai, Jialin Cui +7Medical Question Answering Reasoning Graphs
Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$ Moose: Latent concept learning with reasoning-shortcut awareness in \mathcal{EL}^{++}
Aug 13, 2026Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1Ontology Latent Reasoning
A Minimal $κ$ -- $τ$ Logic for Risk-Sensitive AbductionA Minimal κ--τ Logic for Risk-Sensitive Abduction
Aug 8, 2026Remo PareschiAbductive Reasoning Logic
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?
Aug 5, 2026Réemi Andrieu, Damien SileoLogic
Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility
Aug 4, 2026Jo-Ku Cheng, Nikolaos Aletras, Marco ValentinoLarge Language Model Post-Training Model Pretraining
Language Models Encode the Contextual Truth of Propositions
Aug 4, 2026Rupak Sarkar, Pritika Ramu, Rachel RudingerTruth Falsehood
Alternating-Time Temporal Logic with Mean-Payoff Guarantees
Aug 2, 2026Muhammad NajibLinear Temporal Logics Logic
Similarity Is Not Logic: Factored Inference for Dual-Encoder Vision-Language Models
Jul 25, 2026Sultan Alshehri, Zhantao Yang, Han Zhang +1Semantic Similarity Metrics Logic
Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming
Jul 25, 2026Zirong Chen, Meiyi MaReasoning Chain Inductive Logic Programming
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 Reasoning Natural Language
Logic Programming Semantics for Causal Processes
Jul 23, 2026Felix WeitkämperLogic Causal Structure and Reasoning
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
Jul 23, 2026Kilian Rueckschloss, Felix WeitkaemperInductive Logic Programming Causal Structure and Reasoning
Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
Jul 23, 2026Akihiro Takemura, Katsumi InoueInductive Logic Programming Logic
Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities
Jul 22, 2026Hanna Abi Akl, Fabien Gandon, Catherine Faron +1Logic
Logical Judgments Under Pressure: Diagnosing Syllogistic Stability with Learned Soft Prefixes
Jul 20, 2026Brian K ChenLogic Natural Language Inference
From Modalities to Propositions: A Language-Centric Framework for Multimodal Intelligence
Jul 18, 2026Nadine Chang, Maying Shen, Shizhe Diao +6Logic Codebooks
Logic, Optimization, and Artificial Intelligence
Jul 17, 2026J. N. HookerLogic Bayesian Inference Approaches
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 Methods Logic
Explaining Reinforcement Learning Agents via Inductive Logic Programming
Jul 15, 2026Celeste Veronese, Edoardo Zorzi, Daniele Meli +1Safe Reinforcement Learning Inductive Logic Programming
Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing
Jul 13, 2026Jean Marie Lagniez, Emmanuel LoncaPreprocessing Logic
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
LOGOS: A Living Logic for AI Agent Teams That Evolve With Humans
Jul 12, 2026Yuma Ichikawa, Yamato Arai, Kosaku Kimura +2Multi-Agent Artificial Intelligence Systems Human-In-The-Loop
Quantum Logic as the Logic of Contexts
Jul 10, 2026Haruki Emori, Atsushi Iriki, Andrei Khrennikov +1Quantum Logic
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
Jun 30, 2026Ulisses Franceschi ElianoAbductive Reasoning Logic
Analytic Cut in Epistemic Logics with Distributed Knowledge
Jun 30, 2026Ryo Murai, Sizhuo Liu, Katsuhiko SanoLogic Text Modality
Inquisitive Action Logic
Jun 30, 2026Ivano CiardelliMulti-Agent Reasoning Logic
Belief Contraction in Dynamic Epistemic Logic
Jun 30, 2026Gaia Belardinelli, Snow ZhangLogic Belief
The Logic of Data Access and Data Exchanges
Jun 30, 2026Alexandru Baltag, Sonja SmetsLogic Axiom
From Propositional to Perceptual Asymmetry: Extending Frictive Policy Optimization to Asymmetric Partial Information Dialogue
Jun 29, 2026Yifan Zhu, Kyeongmin Rim, James PustejovskyAsymmetry Asymmetric
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
LogicIR: Logic Gate Networks for Image Restoration
Jun 25, 2026Hongjae Lee, Myungjun Son, Jaeseong Yu +1Image Restoration Differentiable Logic Gate Networks
Theory-Scale Auto-Formalization of Logics for Computer Science
Jun 25, 2026Yuming Feng, Frederick Pu, One An +5Autoformalization Formal Verification
Radical AI Interpretability
Jun 25, 2026Daniel A. Herrmann, Benjamin A. LevinsteinMechanistic Interpretability Model Interpretability Methods
Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation
Jun 23, 2026Xia Zong, Tuomo Lehtonen, Jussi RintanenDecision Trees Heuristics
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
Jun 19, 2026Lydia Bakiri, Jérémy Dubut, Sergio MoverAcyclic Graphs Reachability
Study on Quantitative Dynamic Epistemic Logic for Belief Revision
Jun 18, 2026Felipe Nunes de Souza CamargoLogic Belief
DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs
Jun 18, 2026Saimun Habib, Vaishak Belle, Fengxiang HeInductive Logic Programming Counterfactual Reasoning
pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems
Jun 17, 2026Bennett Dogbey, Hemanth ManjunathaSignal Temporal Logic Gradient-Based Trajectory Optimization
Structural Preservation and the Logical Expressiveness of Graph Neural Networks
Jun 16, 2026Przemysław Andrzej Wałęga, Bernardo Cuenca GrauGraph Neural Networks Logic
Standpoint Logics with Defeasible Beliefs
Jun 7, 2026Nicholas Leisegang, Thomas Meyer, Sebastian RudolphLogic Entailment
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 Agentic Video Generation
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Jun 2, 2026Nicholas Leisegang, Thomas Meyer, Ivan VarzniczakLogic Entailment
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
May 28, 2026João Filipe, Álvaro Torralba, Gregor BehnkeSatisfiability Classical Planning
Label Over Logic? How Source Cues Bias Human Fallacy Judgments More Than LLMs
May 28, 2026Mahjabin Nahar, Nafis Irtiza Tripto, Aiping Xiong +2Cognitive Biases Human-Written Text
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
Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming
May 26, 2026Oleh Borys, Karla StepanovaScalable Robot Learning Inductive Logic Programming
Arrow-Type Impossibility for Genuinely Modal Judgments
May 22, 2026Yutaka Nagai, Hirotaka OnoAxiom Impossibility
Breaking the Chains of Probability: Neutrosophic Logic as a New Framework for Epistemic Uncertainty in Large Language Models
May 22, 2026Maikel Yelandi Leyva-Vázquez, Florentin SmarandacheLarge Language Model Uncertainty Epistemic States
FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection
May 21, 2026Huanchi Wang, Zihang Huang, Yifang Tian +3Logic
Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
May 21, 2026Oscar Montiel RossLogic Truth
On the Complexity of Entailment for Cumulative Propositional Dependence Logics
May 20, 2026Kai Sauerwald, Juha Kontinen, Arne MeierLogic Entailment
GRASP: Graph Agentic Search over Propositions for Multi-hop Question Answering
May 15, 2026Stockton Jenkins, Ramya Korlakai Vinayak, Junjie HuMulti-Hop Reasoning Agentic Search
Orthologic for SAT Solving
May 14, 2026Vladislas de Haldat, Simon Guilloud, Viktor KunčakSatisfiability Orthogonality
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
May 14, 2026Giovanni Buraglio, Wolfgang Dvorak, Stefan WoltranAbstract Argumentation Logic
Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
May 13, 2026Olivia Peiyu Wang, Leilani H. GilpinLegal Domain Large Language Model Reliability
The Polynomial Counting Capabilities of Message Passing Neural Networks
May 11, 2026Marco Sälzer, Pascal Bergsträßer, Anthony W. LinMessage Passing Neural Networks Logic
DeepLog: A Software Framework for Modular Neurosymbolic AI
May 11, 2026Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4Logic Pytorch
Dsat: A Native SAT Solver for Discrete Logic
May 10, 2026Yaofang Zhang, Ken Zhou, Adnan DarwicheSatisfiability Solvers
From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation
May 5, 2026Kristy Sakano, Kalonji Harrington, Mumu XuVision-And-Language Navigation Vision-Language Model Reasoning

Sep 8, 2026 · cs.LOJ/K move · Enter open · S save

Fitting and Learning Basis-Restricted Propositional Formulas

Balder ten Cate

For a finite set

O

of Boolean functions, we consider the class of propositional formulas built using the functions in

O

as connectives. We determine, for each possible choice of

O

, the complexity of various fitting and learning problems. These include: finding a formula that fits a given labeled sample, finding a small one (an Occam algorithm), minimizing the number of misclassified examples when the sample is not realizable (empirical risk minimization), and several forms of PAC learning. Our results apply both to formulas (represented as trees) and to circuits. We also briefly discuss the status of the same questions for other kinds of propositional fragments.

Computable Logic

Open paper Ask about it PDF

Recent momentum

Neighbouring directions

Recent digests

1 new paper

Latest in Logic