Δεοντική Λογική (ΕΗΥ2)

Η βασική τροπική λογική προκύπτει από την κλασική προτασιακή λογική, αν προστεθούν τελεστές που συμβολίζουν τις εκφράσεις "είναι αναγκαίο ότι" και "είναι δυνατό ότι". Θα περιγράψουμε τη σημασιολογία "δυνατών κόσμων" (possible-world semantics), την οποία ανέπτυξαν οι D. Lewis και S. Kripke, για τη βασική τροπική λογική.