Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

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

Originalsprog	Engelsk
Tidsskrift	Studia Logica : An International Journal for Symbolic Logic
Vol/bind	81
Sider (fra-til)	191-226
ISSN	0039-3215
Status	Udgivet - 2005

Citer dette

@article{0db5491052be11dba4bc000ea68e967b,

title = "Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere",

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

year = "2005",

language = "English",

volume = "81",

pages = "191--226",

journal = "Studia Logica: An International Journal for Symbolic Logic",

issn = "0039-3215",

publisher = "Springer Netherlands",

}