Temporal here and there

DOI10.1007/978-3-319-48758-8_6MaRDI QIDQ2835864zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Martín Diéguez

Publication date 30 November 2016

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://oatao.univ-toulouse.fr/19195/1/balbiani_19195.pdf

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Setting the basis for here and there modal logics
• Temporal equilibrium logic: a survey
• Temporal Equilibrium Logic: A First Approach
• scientific article; zbMATH DE number 3855066
• The temporal logic of branching time

Cites work

• A Characterization of Strong Equivalence for Logic Programs with Variables
• A denotational semantics for equilibrium logic
• An infinitary encoding of temporal equilibrium logic
• Bisimulations for temporal logic
• Equilibrium logic
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Logic and structure.
• Logic programs with stable model semantics as a constraint programming paradigm
• Propositional theories are strongly equivalent to logic programs
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Temporal Equilibrium Logic: A First Approach

Cited in

(12)

• Autoepistemic equilibrium logic and epistemic specifications
• Metabolic pathways as temporal logic programs
• Stable Models for Temporal Theories
• The intuitionistic temporal logic of dynamical systems
• Temporal equilibrium logic with past operators
• Complete intuitionistic temporal logics for topological dynamics
• Here and there modal logic with dual implication
• Setting the basis for here and there modal logics
• Exploring the Jungle of Intuitionistic Temporal Logics
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Gödel-Dummett linear temporal logic
• Linear-time temporal answer set programming

This page was built for publication: Temporal here and there

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835864)