@article {15985, title = {Thinking takes time: a modal active-logic for reasoning in time}, journal = {Proc. of BISFAI-95}, year = {1995}, month = {1995///}, author = {Nirkhe,M. and Kraus,S. and Perlis, Don} }