TY - JOUR T1 - Thinking takes time: a modal active-logic for reasoning in time JF - Proc. of BISFAI-95 Y1 - 1995 A1 - Nirkhe,M. A1 - Kraus,S. A1 - Perlis, Don ER -