No | Text |
1 | Logic in action |
2 | Cla***ical systems |
3 | Knowledge, action and ınteraction |
4 | Methods |
5 | Appendix |
No | Text |
1 | What is logic? |
2 | Propositional logic |
3 | Syllogistic reasoning |
4 | The world according to predicate logic |
5 | Knowledge and ınformation flow |
6 | Logic and action |
7 | Logic, games and ınteraction |
8 | Validity testing |
9 | Proofs |
10 | Comp****tion |
11 | Sets, relations and functions |
No | Text |
1 | Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars |
No | Text |
1 | Logic in Action Open Course Project |
2 | natural |
3 | Begriffsschrift |