Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908887887642624 |
|---|---|
| author | Cabalar, Pedro Diéguez, Martín Fernández-Duque, David Laferrière, François Schaub, Torsten Stéphan, Igor |
| author_facet | Cabalar, Pedro Diéguez, Martín Fernández-Duque, David Laferrière, François Schaub, Torsten Stéphan, Igor |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_14692 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming Cabalar, Pedro Diéguez, Martín Fernández-Duque, David Laferrière, François Schaub, Torsten Stéphan, Igor Logic in Computer Science Artificial Intelligence 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. |
| title | Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2603.14692 |