Skip navigation
The Australian National University

Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5

Citation

Gore, R & Tiu, A 2007, 'Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5', Journal of Logic and Computation, vol. 17, no. 4, pp. 767-794.

Year

2007

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Computational Logic And Formal Languages
  • Computer System Security

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