Speaker / Predavač:
Thomas Studer (University of Bern, Switzerland)
Naslov / Title
Modal Logic - an Introduction
Sažetak / Abstract:
A given proposition P may be modified by so-called modal operators. For instance, we can say that P always holds, that P is possible, that P is known, or that P is provable. Logical systems that feature modal operators are called modal logics. Logics of this kind have become highly important for many applications in mathematics, computer science, and philosophy.
In this introductory talk, we present several modal operators and their corresponding logics. We also study their main mathematical properties as well as their applications.