MAS: Using Priest Modal Tableaux to Visualise Kripke Models

Table of Contents

M. Koonstra S2399385 / G. Schoenmacker s1550748 / Rijksuniversiteit Groningen

Table of Contents

Chapter 1: Introduction

Chapter 2: Theory

Chapter 3: Implementation

Chapter 4: Demonstration

Chapter 5: Conclusions

Chapter 6: Bibliography

Table of Contents  -   Top Of Page