Report - Logica Temporale e Verifica di Proprieta di Programmi`cialdea.dia.uniroma3.it/.../materiale/dispense-logica.pdf · 2011-02-17 · 1S. Kripke, ‘A Completeness Theorem in Modal Logic’,

Please pass captcha verification before submit form