In 3 day(s), 20 hour(s) and 54 minute(s): The PRISM website will be unavailable for submissions from March 17 – 24 due to planned data migration. We apologize for the inconvenience. Learn more about the data migration at https://news.ucalgary.ca/news/prism-website-unavailable-submissions-between-march-17-24.
AN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCH