Functional completeness for a natural deduction formulation of hybridized S5

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Advances in Modal Logic. Volume 4
Redaktører	P. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev
Forlag	King's College Publications
Publikationsdato	2003
Sider	31-49
Status	Udgivet - 2003

Citer dette

@inbook{d550079052bd11dba4bc000ea68e967b,

title = "Functional completeness for a natural deduction formulation of hybridized S5",

author = "Torben Bra{\"u}ner",

year = "2003",

language = "English",

pages = "31--49",

editor = "P. Balbiani and N.-Y. Suzuki and F. Wolter and M. Zakharyaschev",

booktitle = "Advances in Modal Logic. Volume 4",

publisher = "King's College Publications",

}