Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

• URL: http://arxiv.org/abs/2603.14692v1
• Date: Mon, 16 Mar 2026 01:02:02 GMT
• Title: Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
• Abstract summary: We study the foundations of Temporal Answer Set Programming through the lens of Temporal Equilibrium Logic.<n>We establish a formal correspondence between temporal intuitionistic logic and temporal logic programming.
• Score: 2.711447506329646
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's safe beliefs. Equilibrium logic admits a fixpoint characterization based on the logic of here-and-there, akin to theory completion in default and autoepistemic logics. Safe beliefs are similarly defined via a fixpoint operator, albeit under the semantics of intuitionistic or other intermediate logics. In this paper, we investigate the logical foundations of Temporal Answer Set Programming through the lens of Temporal Equilibrium Logic, a formalism combining equilibrium logic with linear-time temporal operators. We lift the seminal approaches of Pearce and Osorio to the temporal setting, establishing a formal correspondence between temporal intuitionistic logic and temporal logic programming. Our results deepen the theoretical underpinnings of Temporal Answer Set Programming and provide new avenues for research in temporal reasoning.

Related papers

• SALA: Semantic-Aware Logical Alignment for Complex Reasoning in In-Context Learning [61.13104919370034]
  We propose SALA, a Semantic-Aware Logical Alignment framework.<n>Instead of relying on a fixed inventory, SALA automatically learns task-specific reasoning operations.<n>It then embeds these operations into a continuous semantic space and uses dynamic time warping to align the reasoning sequences.
  arXiv  Detail & Related papers  (2026-09-02T09:12:03Z)
• Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) [0.07646713951724012]
  This paper advances the case for logical pluralism at object-logic level within a unifying meta-logical framework such as LogiKEy.<n>It advocates principled support for logical pluralism in modern proof assistants, and cautions against logical imperialism.
  arXiv  Detail & Related papers  (2026-05-26T16:25:52Z)
• Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning [17.5066777599458]
  Symbolic logical reasoning is a critical yet underexplored capability of large language models (LLMs)<n>We show that logical reasoning performance remains stable within a regime but collapses abruptly beyond a critical logical depth.<n>We propose Neuro-Symbolic Curriculum Tuning, a principled framework that adaptively aligns natural language with logical symbols to establish a shared representation.
  arXiv  Detail & Related papers  (2026-01-06T10:38:25Z)
• Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox [0.0]
  We propose a quantum circuit architecture that intrinsically enforces logical consistency during its unitary evolution.<n>We show that the circuit uses interference effects to suppress inconsistent outcomes while preserving coherent ones.<n>This work bridges formal logic and quantum cognitive modeling, suggesting that consistency can be embedded as a structural property of reasoning systems.
  arXiv  Detail & Related papers  (2025-12-26T07:59:28Z)
• Training LLMs with LogicReward for Faithful and Rigorous Reasoning [75.30425553246177]
  We propose LogicReward, a reward system that guides model training by enforcing step-level logical correctness with a theorem prover.<n>An 8B model trained on data constructed with LogicReward surpasses GPT-4o and o4-mini by 11.6% and 2% on natural language inference and logical reasoning tasks.
  arXiv  Detail & Related papers  (2025-12-20T03:43:02Z)
• Temporal Many-valued Conditional Logics: a Preliminary Report [1.228936170812787]
  We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic. We also consider an instantiation of the formalism for gradual argumentation.
  arXiv  Detail & Related papers  (2024-09-06T16:23:31Z)
• Counterfactuals Modulo Temporal Logics [1.90365714903665]
  Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. We extend this theory in the temporal direction to enable symbolic counterfactual reasoning on infinite sequences.
  arXiv  Detail & Related papers  (2023-06-15T07:40:36Z)
• Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
  Large language models (LLMs) face a challenge when engaging in temporal reasoning. We propose TempLogic, a novel framework designed specifically for temporal question-answering tasks.
  arXiv  Detail & Related papers  (2023-05-24T10:57:53Z)
• The Transformation Logics [58.35574640378678]
  We introduce a new family of temporal logics designed to balance the trade-off between expressivity and complexity. Key feature is the possibility of defining operators of a new kind that we call transformation operators. We show them to yield logics capable of creating hierarchies of increasing expressivity and complexity.
  arXiv  Detail & Related papers  (2023-04-19T13:24:04Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  Passage-level logical relations represent entailment or contradiction between propositional units (e.g., a concluding sentence) We propose logic structural-constraint modeling to solve the logical reasoning QA and introduce discourse-aware graph networks (DAGNs) The networks first construct logic graphs leveraging in-line discourse connectives and generic logic theories, then learn logic representations by end-to-end evolving the logic relations with an edge-reasoning mechanism and updating the graph features.
  arXiv  Detail & Related papers  (2022-07-04T14:38:49Z)
• Temporal Answer Set Programming [3.263632801414296]
  We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. We focus on recent results of the non-monotonic formalism called Temporal Equilibrium Logic (TEL) that is defined for the full syntax. In a second part, we focus on practical aspects, defining a syntactic fragment called temporal logic programs closer to ASP, and explain how this has been exploited in the construction of the solver TELINGO.
  arXiv  Detail & Related papers  (2020-09-14T16:13:36Z)
• Logical Neural Networks [51.46602187496816]
  We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning) Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
  arXiv  Detail & Related papers  (2020-06-23T16:55:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.