Logical Non-determinism as a Tool for Logical Modularity: An Introduction

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationWe Will Show Them!
Subtitle of host publicationessays in honour of Dov Gabbay on his 60th birthday.
PublisherCollege Publications, [London]
Number of pages20
ISBN (Print)9781904987116, 1904987117
StatePublished - 2005

Cite this