This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Persons » Κωνσταντίνος Δ. Κούτρας

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

Photo of Koutras

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

  • Επίκουρος Καθηγητής, Department of Computer Science and Technology, UoP
  • University of Crete
  • ΜΠΛΑ
Website: http://www.uop.gr/~ckoutras

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.

Further information

Reporter

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