External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics

Kaiyang Lin, Zhe Lin. The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. In Patrick Blackburn, Emiliano Lorini, Meiyun Guo, editors, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Volume 11813 of Lecture Notes in Computer Science, pages 140-152, Springer, 2019. [doi]

Authors

Kaiyang Lin

This author has not been identified. Look up 'Kaiyang Lin' in Google

Zhe Lin

This author has not been identified. Look up 'Zhe Lin' in Google
runs on