| Language of Instruction |
Türkçe |
| Course Type |
Area 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 |
|
| Assessment methods and criteria |
Midterm and Final exam |
| Work Placement |
N/A |
| Catalog Content |
Concepts of Necessity and Possibility; Non-Truth Functional Propositional Connectives; Modalities; Language of Modal Logic; Concept of Possible Worlds; Kripke Structures; Truth in a Possible World; Truth in a Kripke Structure; Systems of Modal Logic; Tableau Rules; Determining Open and Closed Branches in Tableaus; Using Tableaus as a Decision Making Procedure; Finding Models and Counter-Models through Tableaus; Free Logic; Epistemic Logic; Deontic Logic; Temporal Logic. |
Anadolu Info Package 
Turkish 
English