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
2007ANU Authors
Fields of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
- Computational Logic And Formal Languages
- Computer System Security
