Modal varieties of temporal logic

D Gabbay, H Barringer

Research output: Chapter in Book/Report/Conference proceedingChapter

Search results