Axelrod, Guy Ross2024-10-302024-10-302024Axelrod, Guy Ross . (2024). Tableaux and Decision Procedures for Many-Valued Modal Logics [Master’s dissertation, University of the Witwatersrand, Johannesburg]. WireDSpace.https://hdl.handle.net/10539/42140https://hdl.handle.net/10539/42140A dissertation submitted in fulfillment of the requirements for the degree of Master of Science to the Faculty of Science, School of Mathematics, University of the Witwatersrand, Johannesburg, 2024The aim of this dissertation is to present results expanding on the work done by Melvin Fitting in [22] and [24]. In [22], Fitting introduces a framework of many-valued modal logics, where modal formulas are interpreted via generalized Kripke models in which both the propositional valuation and the accessibility relation take on values from some Heyting algebra of truth values. For a fixed arbitrary finite Heyting algebra, H, [24] presents a signed semantic tableau system that is sound and complete with respect to all H-frames. We go on to consider the many-valued generalizations of frame properties such as reflexivity and transitivity (as presented in [39]) and give parameterized tableau systems which are sound and complete with respect to classes of H-frames satisfying such properties. Further, a prefixed tableau system is introduced, which allows us to define an intuitive decision procedure deciding the logics of the above- mentioned H-frame classes, as well as logics of H-frames satisfying generalized symmetry properties, which cannot be captured by Fitting’s unprefixed systems. Further, they allow us to derive finite frame properties. Such a decision procedure has been implemented, and is available on GitHub.en© 2024 University of the Witwatersrand, Johannesburg. All rights reserved. The copyright in this work vests in the University of the Witwatersrand, Johannesburg. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of University of the Witwatersrand, Johannesburg.Modal logicMany-valued LogicTableauxDecision ProceduresMathematical LogicUCTDSDG-17: Partnerships for the goalsDissertationUniversity of the Witwatersrand, Johannesburghttps://orcid.org/ 0000-0002-1752-8069