Jankov's Theorems for Intermediate Logics in the Setting of Universal Models

Dick de Jongh, Fan Yang

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

Original language	English
Title of host publication	Post-proceedings of the Eighth Tbilisi Symposium on Language, Logic and Computation
Publisher	Springer
Pages	53-76
Volume	6618
ISBN (Electronic)	978-3-642-22303-7
ISBN (Print)	978-3-642-22302-0
Publication status	Published - 2011

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

Access to Document

@inproceedings{1878eb93e12b4927a6813feca1f46571,

title = "Jankov's Theorems for Intermediate Logics in the Setting of Universal Models",

author = "\{de Jongh\}, Dick and Fan Yang",

year = "2011",

language = "English",

isbn = "978-3-642-22302-0",

volume = "6618",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "53--76",

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

}

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. / de Jongh, Dick; Yang, Fan.
Post-proceedings of the Eighth Tbilisi Symposium on Language, Logic and Computation. Vol. 6618 Springer, 2011. p. 53-76 (Lecture Notes in Computer Science; Vol. 6618).

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

TY - GEN

T1 - Jankov's Theorems for Intermediate Logics in the Setting of Universal Models

AU - de Jongh, Dick

AU - Yang, Fan

PY - 2011

Y1 - 2011

M3 - Conference contribution

SN - 978-3-642-22302-0

VL - 6618

T3 - Lecture Notes in Computer Science

SP - 53

EP - 76

BT - Post-proceedings of the Eighth Tbilisi Symposium on Language, Logic and Computation

PB - Springer

ER -