Is there any known technique for label elimination in temporal logics?

I am trying to devise a general method for logical inference based upon induction and abduction on temporal datasets. Fundamentally the purpose is to represent ways in which humans (and in...

15 October 2013 5,377 3 View