Δεοντική Λογική (ΕΗΥ2)
Ενότητες
Βασική Τροπική Λογική, ΙΙ
Θα αναφερθούμε συνοπτικά στον τρόπο τυπικού χειρισμού τροπικών προτασιακών τύπων, μέσω της υιοθέτησης κανόνων για την κατασκευή παραγωγικών πινάκων (tableaux), και θα παραθέσουμε παραδείγματα τυπικών θεωρημάτων και αντιπαραδειγμάτων.
