Modal logic and the approximation induction principle

M. Gazda; W.J. Fokkink

doi:10.4204/eptcs.8.4

Modal logic and the approximation induction principle

Research output: Contribution to Journal › Article › Academic › peer-review

199 Downloads (Pure)

Original language	English
Pages (from-to)	41-50
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	8
DOIs	https://doi.org/10.4204/eptcs.8.4
Publication status	Published - 2009

Bibliographical note

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

Access to Document

10.4204/eptcs.8.4

242989Final published version, 147 KB

Persistent URL (handle)

Persistent link

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",

}

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

UR - https://www.scopus.com/pages/publications/85051069720

UR - https://www.scopus.com/inward/citedby.url?scp=85051069720&partnerID=8YFLogxK

U2 - 10.4204/eptcs.8.4

DO - 10.4204/eptcs.8.4

M3 - Article

SN - 2075-2180

VL - 8

SP - 41

EP - 50

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -

Modal logic and the approximation induction principle

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this