Classical Natural Deduction for S4 Modal Logic - Kimura, Daisuke; Kakutani, Yoshihiko (New generation computing, 2011)
Keywords: Artificial Intelligence; Computer Hardware; Computer Science; Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Lambda-Calculus; Staged Computation; Classical S4 Modal Logic; Functional Programming; Curry-Howard Isomorphism