Modal logic and the approximation induction principle

M. Gazda, W.J. Fokkink

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)41-50
JournalElectronic Proceedings in Theoretical Computer Science
Volume8
DOIs
Publication statusPublished - 2009

Bibliographical note

Proceedings title: Proc. 16th Workshop on Expressiveness in Concurrency - EXPRESS'09

Cite this

@article{540cd2c5ebcc4ccb9bf7a62ecba0b0fd,
title = "Modal logic and the approximation induction principle",
author = "M. Gazda and W.J. Fokkink",
note = "Proceedings title: Proc. 16th Workshop on Expressiveness in Concurrency - EXPRESS'09",
year = "2009",
doi = "10.4204/eptcs.8.4",
language = "English",
volume = "8",
pages = "41--50",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

Modal logic and the approximation induction principle. / Gazda, M.; Fokkink, W.J.

In: Electronic Proceedings in Theoretical Computer Science, Vol. 8, 2009, p. 41-50.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Modal logic and the approximation induction principle

AU - Gazda, M.

AU - Fokkink, W.J.

N1 - Proceedings title: Proc. 16th Workshop on Expressiveness in Concurrency - EXPRESS'09

PY - 2009

Y1 - 2009

U2 - 10.4204/eptcs.8.4

DO - 10.4204/eptcs.8.4

M3 - Article

VL - 8

SP - 41

EP - 50

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -