C.D. Koutras - research

For reasons of copyright, some of the downloadable versions may be close but not identical to the final version of the paper.

Journal Articles

P. Peppas, C. D. Koutras and M.-A.Williams.
Maps in Multiple Belief Change.
ACM Transactions on Computational Logic (TOCL), accepted for publication.

P. E. Eleftheriou, C. D. Koutras and Ch. Nomikos.
Notions of bisimulation for Heyting-valued modal languages.
Journal of Logic and Computation, Advance Access, February 2010.

C. D. Koutras, Y. Zikos.
On a modal epistemic axiom emerging from McDermott-Doyle logics.
Fundamenta Informaticae, 96(1-2): 111-125, 2009.

C. D. Koutras, Ch. Nomikos, P. Peppas.
On a simple 3-valued modal language and a 3-valued logic of 'not-fully-justified' belief.
Logic Journal of the IGPL (Interest Group on Pure and Applied Logic), 16(6): 591-604, 2008.

P. Eleftheriou, C. D. Koutras.
Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic.
Journal of Applied Non-Classical Logics, 15(4): 367-388, 2005.

C. D. Koutras, A. Gaga, P. Peppas.
Conciseness Considerations on Logics of Action.
Journal of Intelligent Systems, 13(1): 71-94, 2004.

C. D. Koutras.
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.
Journal of Applied Non-Classical Logics, 13(1): 47-73, 2003.

C. D. Koutras, P. Peppas.
Weaker Axioms, More Ranges.
Fundamenta Informaticae, 51(3): 297-310, 2002.

C. D. Koutras, Ch. Nomikos, P. Peppas.
Canonicity and Completeness Results for Many-Valued Modal Logics
Journal of Applied Non-Classical Logics, 12(1): 7-41, 2002.

P. Peppas, C. D. Koutras, M.-A. Williams.
Prolegomena to Concise Theories of Action.
Studia Logica, 67(3): 403-418, 2001.

C. D. Koutras, S. Zachos.
Many-Valued Reflexive Autoepistemic Logic.
Logic Journal of the IGPL (Interest Group on Pure and Applied Logic), 8(1):33-54, 2000.

C. D. Koutras, G. Koletsos, S. Zachos.
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces.
Fundamenta Informaticae, 38(3): 281-324, 1999.

Conference Publications

C. D. Koutras, and Y. Zikos.
Relating Truth, Knowledge and Belief in Epistemic States.
In W. Liu (Ed.): Proceedings ECSQARU 2011 (11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Belfast, UK, June 29–July 1, 2011), Springer LNAI 6717, pp. 374–385, 2011.

C. D. Koutras, and Y. Zikos.
Stable Belief Sets Revisited.
In Tomi Janhunen and Ilkka Niemelä (eds), Proceedings of JELIA 2010 (Logics in Artificial Intelligence, 12th European Conference, Helsinki, Finland, September 13-15, 2010). LNCS 6341, Springer 2010.

P. E. Eleftheriou, C. D. Koutras, and Ch. Nomikos.
Notions of bisimulation for Heyting-valued modal languages.
In A. Beckman, C. Dimitracopoulos, and B. Loewe (eds), Logic and Theory of Algorithms, Proceedings of Computability in Europe 2008 (CiE 2008), pp. 117-126. Athens University Press, 2008

C. D. Koutras, Ch. Nomikos, P. Peppas.
If I know it, then it can't be false (and if it's true, then it is not impossible).
In Proceedings of IeCCS 2005, pp.92-96, VSP Brill, June 2005.

C. D. Koutras, Ath. Gaga and P. Peppas.
A Formal Conciseness Assessment of AR0
In Proceedings of HERCMA 2003, Sixth Hellenic European Conference on Computer Mathematics
and its Applications, Athens, September 2003.
C. D. Koutras and Ch. Nomikos.
The Computational Complexity of Satisfiability in Many-Valued Modal Logic.
Proceedings of the Third Panhellenic Logic Symposium, Anogeia, Crete, July 2001.

C. D. Koutras and Ch. Nomikos.
On the Computational Complexity of Stratified Negation in Linear-Time Temporal Logic Programming.
In M. Gergatsoulis and P. Rondogiannis, editors, Intensional Programming II, pages 106-116, World Scientific, 2000.

C. D. Koutras and S. Zachos.
Many-Valued Autoepistemic Reasoning with Applications in Multi-Agent Situations.
In D. Fotiadis and S. Nikolopoulos, editors, Advances in Informatics, pp. 178-187, World Scientific, 2000.

F. Afrati and C. D. Koutras.
A Hypertext Model Supporting Query Mechanisms.
In A. Rizk, N. A. Streitz, and J. Andre, editors, Hypertext: Concepts, Systems and Applications, Proceedings of the First European Conference on Hypertext, Cambridge Series on Electronic Publishing, pages 52-66. Cambridge University Press, 1990.

Technical Reports

C. D. Koutras, Y. Zikos.
Stable belief sets revisited .
Draft version, May 2010.