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.

Axiomatizing the lexicographic products of modal logics with linear temporal logic

Philippe Balbiani, David Fernández Duque. Axiomatizing the lexicographic products of modal logics with linear temporal logic. In Lev D. Beklemishev, Stéphane Demri, András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. pages 78-96, College Publications, 2016. [doi]

Authors

Philippe Balbiani

This author has not been identified. Look up 'Philippe Balbiani' in Google

David Fernández Duque

This author has not been identified. Look up 'David Fernández Duque' in Google
runs on