Thesis (MSc)--Stellenbosch University, 2012. / ENGLISH ABSTRACT: Truth preservation is an important topic in model theory. However a brief examination of the models for a logic often show that isomorphism is needlessly restrictive as a truth preserving construction. In the case of modal logics with Kripke semantics the notions of simulation and bisimulation prove far more practical and interesting than isomorphism. We present and study these various notions, followed by a discussion of Shehtman’s frame product as semantics for certain many-dimensional modal logics. We show how simulations and bisimulations can be interpreted inside models over frame products. This is followed by a discussion on a category-theoretic setting for frame products, where the arrows may run between frames with different types. / AFRIKAANSE OPSOMMING: Die behou van waarheid is ’n prominente onderwerp in modelteorie. ’n Vlugtige ondersoek van die modelle vir ’n besondere logika wys egter dat isomorfisme onnodig beperkend as waarheid-behoudende konstruksie is. In die geval van modale logika met Kripke se semantiek is simulasie en bisimulasie heelwat meer prakties en interessant as isomorfisme. Na die bekendstel en studie van hierdie onderskeie begrippe bespreek ons Shehtman se raamproduk as semantiek vir sekere meer-dimensionele modale logikas. Ons wys ons hoe simulasies en bisimulasies binne modelle oor sulke raamprodukte geïnterpreteer kan word. Daarna bespreek ons ’n kategorie-teoretiese konteks vir raamprodukte, waar die pyle tussen rame met verskillende tipes mag loop.

This chapter is a continuation of the preceding one, and we begin it at the place where the authors of Basic Modal Logic left us about fifteen years ago. Concluding his historical overview, Krister Segerberg wrote: “Where we stand today is difficult to say. Is the picture beginning to break up, or is it just the contemporary observer’s perennial problem of putting his own time into perspective?” So, where did modal logic of the 1970s stand? Where does it stand now? Modal logicians working in philosophy, computer science, artificial intelligence, linguistics or some other fields would probably give different answers to these questions. Our interpretation of the history of modal logic and view on its future is based upon understanding it as part of mathematical logic.