| Language of Instruction |
Türkçe |
| Course Type |
Elective Courses |
| Course Instructor(s) |
DOÇ. DR. İSKENDER TAŞDELEN |
| Mode of Delivery |
The mode of delivery for this course is face to face. |
| Prerequisites |
Symbolic Logic I and Symbolic Logic II, or equivalents, are prerequisites for this course. |
| Courses Recomended |
None |
| Recommended Reading List |
1) James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 20132) Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 19983) Teo Grünberg, Sembolik Mantık El Kitabı 2. Cilt (Özel Mantık Sistemleri), METU Press, 2000 |
| Assessment methods and criteria |
Midterm and Final exam |
| Work Placement |
N/A |
| Catalog Content |
Concepts of Necessity and Possibility; Non-Truth-Functional Propositional Connectives; Modals; Language of Modal Logic; Concept of Possible Worlds; Kripke Models; Truth in a Possible World; Truth in a Kripke Model; Systems of Modal Logic; Rules of Analytic Tableaux; Determination of Open and Closed Branches in Analytic Tableaux; Evaluation of Analytic Tableaux as a Decision-Procedure; Finding Models and Countermodels by Analytic Tableau Method; Free Logic; Logic of Knowledge; Logic of Obligation; Tense Logic. |
Anadolu Info Package 
Turkish 
English