The sequent systems and algebraic semantics of intuitionistic tense logics

DOI10.1007/978-3-662-60292-8_11OpenAlexW2979504482MaRDI QIDQ2291233

Zhe Lin, Kaiyang Lin

Publication date: 30 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-60292-8_11

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

On the finite model property of weak intuitionistic tense logic

This page was built for publication: The sequent systems and algebraic semantics of intuitionistic tense logics