Report - 4 COMPUTATIONAL MODAL LOGIC - Department of · PDF file4 COMPUTATIONAL MODAL LOGIC Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, and Renate Schmidt 1 Introduction

Please pass captcha verification before submit form