top

Sequent calculi for nominal tense logics: a step towards mechanization?

S. Demri. Sequent calculi for nominal tense logics: a step towards mechanization?. In Proceedings of the Conference on Tableaux Calculi and Related Methods (TABLEAUX), pp. 140–154, Springer Verlag, Saratoga Springs, USA, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{demri99:_sequen,
  author = {S. Demri},
  title = {Sequent calculi for nominal tense logics: a step towards mechanization?},
  booktitle = {Proceedings of the Conference on Tableaux Calculi and Related Methods
	(TABLEAUX)},
  year = {1999},
  editor = {N. Murray},
  volume = {1617},
  series = {LNAI},
  pages = {140--154},
  address = {Saratoga Springs, USA},
  publisher = {Springer Verlag},
}

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