Gödel-Dummett linear temporal logic

DOI10.1016/J.ARTINT.2024.104236MaRDI QIDQ6665714zbMATH OpenFDO

Authors Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Publication date 17 January 2025

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2024.104236

zbMATH Keywords

automated temporal reasoningGödel-Dummett logicHilbert-style deductive calculuslinear temporal logicPSPACE-complete

Mathematics Subject Classification ID

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

Recommendations

• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Incompleteness of a first-order Gödel logic and some temporal logics of programs
• Gödel-Dummett counter-models through matrix computation
• Gödel logics and the fully boxed fragment of FO-LTL
• A finite model property for Gödel modal logics

Cites work

• A decidable intuitionistic temporal logic
• A formalization of the propositional calculus of H-B logic
• A fuzzy real-time temporal logic
• A many-valued temporal logic and reasoning framework for decision making
• A new logical characterisation of stable models and answer sets
• A propositional calculus with denumerable matrix
• A short introduction to intuitionistic logic
• A sound and complete axiomatization for dynamic topological logic
• An intuitionistic axiomatization of `eventually'
• Bisimulations for intuitionistic temporal logics
• Constraint tableaux for two-dimensional fuzzy logics
• Constructivism in mathematics. An introduction. Volume I
• Decidability of order-based modal logics
• Equilibrium logic
• First-order Gödel logics
• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
• Formally reasoning about quality
• Fuzzy Time in Linear Temporal Logic
• Gödel logic. From natural deduction to parallel computation
• Gödel logics -- a survey
• Gödel logics and the fully boxed fragment of FO-LTL
• Here and there modal logic with dual implication
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 51771 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• Intuitionistic linear temporal logics
• Loop formulas for splitable temporal logic programs
• Many-dimensional modal logics: theory and applications
• Modal logic
• Non-deterministic semantics for dynamic topological logic
• On logics with coimplication
• On the complexity of temporal equilibrium logic
• On the Products of Linear Modal Logics
• On transitive modal many-valued logics
• Propositional temporal logics: decidability and completeness
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Relationships between nondeterministic and deterministic tape complexities
• Standard Gödel modal logics
• Temporal equilibrium logic: a survey
• Temporal here and there
• Temporal logics in computer science. Finite-state systems
• Temporal reasoning about fuzzy intervals
• Temporalizing description logics
• The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning
• The complexity of propositional linear temporal logics
• The intuitionistic temporal logic of dynamical systems
• The product of converse PDL and polymodal K
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Zum intuitionistischen Aussagekalkül.

Cited in

(1)

• Time and Gödel: fuzzy temporal reasoning in PSPACE

This page was built for publication: Gödel-Dummett linear temporal logic

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