In thesis we first recall basics of propositional logic. Then we distinguish between various modes of truth and give matematical fundation/basis in which we become familiar with syntax and semantics of modal logic. Then we introduce and define models, valid formulas, formula schemes and equivalences between modal formulas. Later on we focus on a logic engineering in which we model various modes of truth. To achieve that we have to decide which formula schemes should be valid in models. At the end we also look at the properties of the accessibility relation and its conection with formulas.
|
