Modal logic

Masih seputar materi DAAD summer school, kali ini modal logic dibawakan oleh L. Yohanes Stefanus dosen di fasilkom UI.
Modal Logic itu..

The goal of logic is to develop languages to model the situations we encounter, in such a way that we can reason about them formally.

Reasoning about situations means constructing arguments about them; it’s doneformally means that it’s done in such a way that the arguments are valid and can be defended mathematically, or executed on a computer.

monggo dilanjut dari slidenya.. Stefanus-MLBali2012