Combining Epistemic Logic and Hennessy-Milner Logic

Sophia Knight, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
EditorsRobert L. Constable, Alexandre Silva
Volume7230
PublisherSpringer Science+Business Media
Publication date2012
Pages219-243
ISBN (Print)978-3-642-29484-6
ISBN (Electronic)978-3-642-29485-3
DOIs
Publication statusPublished - 2012
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this