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.

Combining Epistemic Logic and Hennessy-Milner Logic

Sophia Knight, Radu Mardare, Prakash Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic. In Robert L. Constable, Alexandra Silva, editors, Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Volume 7230 of Lecture Notes in Computer Science, pages 219-243, Springer, 2012. [doi]

Authors

Sophia Knight

This author has not been identified. Look up 'Sophia Knight' in Google

Radu Mardare

This author has not been identified. Look up 'Radu Mardare' in Google

Prakash Panangaden

This author has not been identified. Look up 'Prakash Panangaden' in Google
runs on