Two Natural Deduction Systems for Hybrid Logic: A Comparison

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Journal of Logic, Language and Information
Vol/bind	13
Udgave nummer	1
Sider (fra-til)	1-23
ISSN	0925-8531
Status	Udgivet - 2004

Citer dette

@article{ceb7f32052bd11dba4bc000ea68e967b,

title = "Two Natural Deduction Systems for Hybrid Logic: A Comparison",

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

year = "2004",

language = "English",

volume = "13",

pages = "1--23",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

number = "1",

}