Costas D. Koutras
-
Assistant Professor,
Department of Computer Science and Technology, UoP
-
University of Crete
-
MPLA
| Website: | http://www.uop.gr/~ckoutras |
|---|
courses given
| Course | Semester | |
|---|---|---|
| Λ1. | Mathematical logic | 2015-2016, spring semester |
| Λ99Γ. | Modal logic | 2014-2015, spring semester |
| ΜΝ13. | First-order Modal Logic | 2012-2013, spring semester |
| Λ99Γ. | Modal logic | 2012-2013, fall semester |
| ΜΝ11β. | Nonmonotonic Logic | 2011-2012, spring semester |
| ΜΠ11. | Modal logic | 2011-2012, spring semester |
| ΜΓ09. | Universal algebra | 2009-2010, spring semester |
| ΜA09. | Lattices and order theory | 2009-2010, fall semester |
| Λ16. | Non-classical logics | 2001-2002, fall semester |
| Λ99Γ. | Modal logic | 1999-2000, fall semester |
| Λ16. | Non-classical logics | 1998-1999, spring semester |
| 11 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2003/12/19 | Multiple-valued Modal Logic: definability, completeness, model theory | |
| 2000/12/15 | Theory of definability and completeness in Modal Logic | |
| 2000/05/19 | Modal Logics of Knowledge and Multiple Intelligent Agents | |
| 3 seminars. | ||
PhD theses supervised
| title | student | defense |
|---|---|---|
| Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. | 2012-09-13 | |
| 1 PhD thesis. | ||