Akademik Dersler - İçerik

Weeks	Topics
Week - 1	Revision of topics in classical propositional logic
Week - 2	Logical modalities, modal propositions, language of modal propositional logic
Week - 3	Kripke semantics for modal propositional logic
Week - 4	Kripke semantics for modal propositional logic (cont.)
Week - 5	Tableau method for modal propositional logic
Week - 6	Tableau method for modal propositional logic (cont.)
Week - 7	Tableau method for modal propositional logic (cont.)
Week - 8	Recapitulation of previous topics
Week - 9	Mid-term
Week - 10	Revision of topics in classical quantificational logic
Week - 11	Kripke semantics for modal quantificational logic
Week - 12	Kripke semantics for modal quantificational logic (cont.)
Week - 13	Tableau method for modal quantificational logic
Week - 14	Tableau method for modal quantificational logic (cont.)