Gödel-Dummett linear temporal logic
From MaRDI portal
Publication:6665714
DOI10.1016/j.artint.2024.104236MaRDI QIDQ6665714
Brett McLean, Juan P. Aguilera, Martín Diéguez, David Fernández-Duque
Publication date: 17 January 2025
Published in: Artificial Intelligence (Search for Journal in Brave)
linear temporal logicPSPACE-completeGödel-Dummett logicautomated temporal reasoningHilbert-style deductive calculus
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Zum intuitionistischen Aussagekalkül.
- Equilibrium logic
- Standard Gödel modal logics
- Non-deterministic semantics for dynamic topological logic
- Constructivism in mathematics. An introduction. Volume I
- On logics with coimplication
- Hypersequents, logical consequence and intermediate logics for concurrency
- Many-dimensional modal logics: theory and applications
- A formalization of the propositional calculus of H-B logic
- On transitive modal many-valued logics
- Constraint tableaux for two-dimensional fuzzy logics
- Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
- A fuzzy real-time temporal logic
- Decidability of order-based modal logics
- First-order Gödel logics
- Temporal reasoning about fuzzy intervals
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning
- Relationships between nondeterministic and deterministic tape complexities
- A short introduction to intuitionistic logic
- Modal logic
- Temporalizing description logics
- Temporal logics in computer science. Finite-state systems
- Temporal Here and There
- A sound and complete axiomatization for Dynamic Topological Logic
- Fuzzy Time in Linear Temporal Logic
- Loop Formulas for Splitable Temporal Logic Programs
- Formally Reasoning About Quality
- A propositional calculus with denumerable matrix
- The complexity of propositional linear temporal logics
- Propositional temporal logics: decidability and completeness
- The product of converse PDL and polymodal K
- On the Products of Linear Modal Logics
- The intuitionistic temporal logic of dynamical systems
- Temporal equilibrium logic: a survey
- On the Complexity of Temporal Equilibrium Logic
- Gödel logics and the fully boxed fragment of LTL
- Gödel Logics – A Survey
- A Decidable Intuitionistic Temporal Logic
- Intuitionistic Linear Temporal Logics
- An intuitionistic axiomatization of `eventually'
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- A new logical characterisation of stable models and answer sets
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)
