Axiomatic systems and topological semantics for intuitionistic temporal logic

DOI10.1007/978-3-030-19570-0_49MaRDI QIDQ2296760zbMATH OpenOpenAlexFDO

Authors Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero

Publication date 18 February 2020

Full work available at URL https://arxiv.org/abs/1803.05077, http://hdl.handle.net/1854/LU-8668860

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Exploring the Jungle of Intuitionistic Temporal Logics
• Complete intuitionistic temporal logics for topological dynamics
• A strongly complete axiomatization of intuitionistic temporal logic
• Intuitionistic linear temporal logics
• Intuitionistic tense and modal logic

Cited in

(6)

• Temporal type theory. A topos-theoretic approach to systems and behavior
• The intuitionistic temporal logic of dynamical systems
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Exploring the Jungle of Intuitionistic Temporal Logics
• Axiomatic systems and topological semantics for intuitionistic temporal logic
• Algebraic axiomatization of tense intuitionistic logic

This page was built for publication: Axiomatic systems and topological semantics for intuitionistic temporal logic

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