Skip navigation
The Australian National University

Display calculi for nominal tense logics

Citation

Demri, S, Gore, R & Demri, S 2002, 'Display calculi for nominal tense logics', Journal of Logic and Computation, vol. 12, no. 6, pp. 993-1016.

Year

2002

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers