منطق های زمانی دو دسته هستند منطق های مبتنی بر نقاط زمانی و منطق های بازه ای. منطق های نقطه ای نمی توانند فرایندهای بعضی دامنه ها را بخوبی مدل کنند از این رو در این سخنرانی یک منطق زمانی بازه ای مبتنی بر IMPNL ارایه گردیده است. با استفاده از این منطق فرایندهای پزشکی توصیف می گردد. سپس با استفاده از الگوریتم طراحی شده برای این منطق می توان بعضی از تصادم های موجود در یک فرایند پزشکی یا حتی تصادم بین چند فرایند پزشکی را تشخیص داد.
