Time & Logic: A Computational Approach: Routledge Revivals

Prin volumul Time & Logic, editorii Leonard Bolc și Andrzej Szałas propun o punte pragmatică între fundamentele filozofice ale logicii și nevoile stringente ale informaticii teoretice. Aplicabilitatea practică a conținutului este evidentă încă din primele capitole, unde accentul nu cade doar pe formalismul abstract, ci pe soluții orientate spre implementare, esențiale în dezvoltarea sistemelor computaționale complexe. Putem afirma că lucrarea reușește să demistifice utilizarea logicii temporale în domenii precum teoria proceselor stocastice și verificarea modelelor (model checking).

Structura volumului este riguros organizată pentru a facilita o progresie logică: se pornește de la abordarea standard a logicii temporale a programelor, explorând ulterior ramificații avansate precum timpul ramificat (branching time) și ordinea parțială. Comparabil cu Temporal Logic: Volume 1 de Dov M. Gabbay în ceea ce privește rigoarea matematică, volumul de față se distinge prin orientarea sa explicită către mediile computaționale și sistemele de demonstrare relațională, oferind instrumente care pot fi adaptate la diverse logici de program.

Această lucrare se integrează coerent în opera editorială a lui Leonard Bolc. Dacă în Natural Language Communication with Pictorial Information Systems autorul explora interfața dintre limbaj și imagine, în Time & Logic el revine la nucleul dur al informaticii, rafinând modul în care mașinile pot procesa succesiunea evenimentelor. Merită menționat că, deși publicată inițial în 1995, reeditarea în seria Routledge Revivals confirmă validitatea tehnicilor prezentate pentru analiza sistemelor de stare și a sistemelor de demonstrare a corectitudinii programelor.