top

Cut-free display calculi for nominal tense logics

S. Demri and R. Goré. Cut-free display calculi for nominal tense logics. In Proceedings of the Conference on Tableaux Calculi and Related Methods, (TABLEAUX), pp. 155–170, Springer Verlag, Saratoga Springs, USA, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{demri99:_cut,
  author = {S. Demri and R. Gor{\'e}},
  title = {Cut-free display calculi for nominal tense logics},
  booktitle = {Proceedings of the Conference on Tableaux Calculi and Related Methods,
	(TABLEAUX)},
  year = {1999},
  editor = {N. Murray},
  volume = {1617},
  series = {LNAI},
  pages = {155--170},
  address = {Saratoga Springs, USA},
  publisher = {Springer Verlag},
}

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