Time and Gödel: fuzzy temporal reasoning in PSPACE

DOI10.1007/978-3-031-15298-6_2arXiv2205.00574OpenAlexW4297809251MaRDI QIDQ6102991

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

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.00574

zbMATH Keywords

fuzzy logicintuitionistic logiclinear temporal logicPSPACE-completeGödel-Dummett logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Non-deterministic semantics for dynamic topological logic
• Constructivism in mathematics. An introduction. Volume II
• On logics with coimplication
• On transitive modal many-valued logics
• Constraint tableaux for two-dimensional fuzzy logics
• Decidability of order-based modal logics
• First-order Gödel logics
• Relationships between nondeterministic and deterministic tape complexities
• Temporal Logics in Computer Science
• Temporal Here and There
• A sound and complete axiomatization for Dynamic Topological Logic
• The complexity of propositional linear temporal logics
• On the Products of Linear Modal Logics
• The intuitionistic temporal logic of dynamical systems
• Temporal equilibrium logic: a survey
• Intuitionistic Linear Temporal Logics