Algebraic filtrations of the modal m-Calculus
A Dissertation submitted to the Faculty of Science, University of the Witwatersrand, Johannesburg, in ful lment of the requirements for the degree of Master of Science in Mathematics. 26 August 2016. === In this thesis we analyse the issue of decidability for two modal logics which contain least bin...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | Cromberge, Michael Benjamin (2016) Algebraic filtrations of the modal m-Calculus, University of Witwatersrand, Johannesburg, <http://wiredspace.wits.ac.za/handle/10539/21724> http://hdl.handle.net/10539/21724 |