लेखक: Gergatsoulis Manolis Gergatsoulis

There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic logics. In fact, a whole new programmi …