top

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

T. Braüner. Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica, 81:191–226, 2005.

Download: (unavailable)

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{Brauner05a,
  author = {T. Bra{\"u}ner},
  title = {Proof-Theoretic Functional Completeness for the Hybrid Logics of
	Everywhere and Elsewhere},
  journal = {Studia Logica},
  year = {2005},
  volume = {81},
  pages = {191--226},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33