Model Checking for Modal Intuitionistic Dependence Logic

Johannes Ebbing; Peter Lohmann; Fan Yang

Model Checking for Modal Intuitionistic Dependence Logic

Johannes Ebbing, Peter Lohmann, Fan Yang

OFR - non-affiliated publications

University of Hannover

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation
Publisher	Springer
Pages	231-256
Volume	7758
ISBN (Electronic)	978-3-642-36976-6
ISBN (Print)	978-3-642-36975-9
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	7758
ISSN (Print)	0302-9743

Access to Document

http://link.springer.com/chapter/10.1007/978-3-642-36976-6_15

Cite this

@inbook{b0a4505ace524b2bab6bd72125aebba6,

title = "Model Checking for Modal Intuitionistic Dependence Logic",

author = "Johannes Ebbing and Peter Lohmann and Fan Yang",

year = "2013",

language = "English",

isbn = "978-3-642-36975-9",

volume = "7758",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "231--256",

booktitle = "Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation",

address = "Germany",

}

Model Checking for Modal Intuitionistic Dependence Logic. / Ebbing, Johannes; Lohmann, Peter; Yang, Fan.
Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation. Vol. 7758 Springer, 2013. p. 231-256 (Lecture Notes in Computer Science; Vol. 7758).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review