Report - Nottingham · ii Contents 1 Introduction 1 2 Background in modal logic and guarded fragments 6 2.1 Modal logic and rst-order logic 6 2.2 Modal logic vs. rst-order logic 16 2.3 First-order

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form