Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Κωνσταντίνος Δ. Κούτρας

Κωνσταντίνος Δ. Κούτρας

Photo of Koutras

Κωνσταντίνος Δ. Κούτρας

  • Επίκουρος Καθηγητής, Department of Computer Science and Technology, UoP
  • University of Crete
  • ΜΠΛΑ

courses given

Course Semester
Λ1. 2015-2016, εαρινό εξάμηνο
Λ99Γ. 2014-2015, εαρινό εξάμηνο
ΜΝ13. 2012-2013, εαρινό εξάμηνο
Λ99Γ. 2012-2013, χειμερινό εξάμηνο
ΜΝ11β. 2011-2012, εαρινό εξάμηνο
ΜΠ11. 2011-2012, εαρινό εξάμηνο
ΜΓ09. 2009-2010, εαρινό εξάμηνο
ΜA09. 2009-2010, χειμερινό εξάμηνο
Λ16. 2001-2002, χειμερινό εξάμηνο
Λ99Γ. 1999-2000, χειμερινό εξάμηνο
Λ16. 1998-1999, εαρινό εξάμηνο
11 courses.

seminars given

ημερομηνία τίτλος
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

τίτλος student defense
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. Γεώργιος Ζήκος 2012-09-13
1 PhD thesis.

MSc theses supervised

τίτλος student defense
Model-theoretic investigations on "overwhelming majority" default conditionals Χρήστος Ραντσούδης 2015-11-09
Variants of Stalnaker Stable Belief Sets Χρήστος Μωυζές 2014-07-29
Computational Complexity of Modal Logics Γεώργιος Κούρτης 2013-08-01
An introduction to dynamic logic Γεώργιος Ζήκος 2006-12-01
Formal languages and models of computation with limited resources Κωνσταντίνα Γαρούφη 2005-09-01
Hybrid logics Βασιλική Καλιακούδα 2003-07-01
Model-theoretic constructions in many-valued modal logic Παντελεήμων Ελευθερίου 2002-07-01
7 MSc theses.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.