Follow
Costas Koutras
Costas Koutras
American University of the Middle East (AUM), College of Engineering and Technology, Kuwait
Verified email at aum.edu.kw - Homepage
Title
Cited by
Cited by
Year
A Hypertext Model Supporting Query Mechanisms.
FN Afrati, CD Koutras
ECHT 90, 52-66, 1990
611990
Notions of bisimulation for Heyting-valued modal languages
PE Eleftheriou, CD Koutras, C Nomikos
Journal of Logic and Computation 22 (2), 213-235, 2012
31*2012
Knowledge means ‘all’, belief means ‘most’
D Askounis, CD Koutras, Y Zikos
Journal of Applied Non-Classical Logics 26 (3), 173-192, 2016
27*2016
Canonicity and completeness results for many-valued modal logics
CD Koutras, C Nomikos, P Peppas
Journal of Applied Non-Classical Logics 12 (1), 7-41, 2002
252002
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
CD Koutras
Journal of Applied Non-Classical Logics 13 (1), 47-71, 2003
242003
Many-valued reflexive autoepistemic logic
CD Koutras, S Zachos
Logic Journal of the IGPL 8 (1), 33-54, 2000
202000
Frame constructions, truth invariance and validity preservation in many-valued modal logic
PE Eleftheriou, CD Koutras
Journal of Applied Non-Classical Logics 15 (4), 367-388, 2005
152005
Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces
CD Koutras, G Koletsos, S Zachos
Fundamenta Informaticae 38 (3), 281-324, 1999
131999
A modal logic of knowledge, belief and estimation
CD Koutras, C Moyzes, Y Zikos
Journal of Logic and Computation 27 (8), 2303-2339, 2017
122017
Weaker axioms, more ranges
CD Koutras, P Pappas
Fundamenta Informaticae 51 (3), 297-310, 2002
122002
A quick guided tour to the modal logic S4.2
A Chalki, CD Koutras, Y Zikos
Logic Journal of the IGPL 26 (4), 429-451, 2018
112018
Maps in multiple belief change
P Peppas, CD Koutras, MA Williams
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-23, 2012
112012
Default reasoning via topology and mathematical analysis: a preliminary report
CD Koutras, K Liaskos, C Moyzes, C Rantsoudis
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
72018
In all but finitely many possible worlds: Model-theoretic investigations on ‘overwhelming majority’default conditionals
CD Koutras, C Rantsoudis
Journal of Logic, Language and Information 26 (2), 109-141, 2017
72017
Prolegomena to concise theories of action
P Peppas, CD Koutras, MA Williams
Studia Logica 67 (3), 403-418, 2001
72001
The computational complexity of satisfiability in many-valued modal logic
CD Koutras, C Nomikos
Proceedings of the 3rd Panhellenic Logic Symposium, Anogia, Greece 7, 2001
52001
A reconstruction of default conditionals within epistemic logic
CD Koutras, C Moyzes, C Rantsoudis
Fundamenta Informaticae 166 (2), 167-197, 2019
42019
Assessing governmental policies' impact through prosperity indicators and open data
P Kokkinakos, C Koutras, O Markaki, S Koussouris, D Trutnev, Y Glikman
Proceedings of the 2014 Conference on Electronic Governance and Open Society …, 2014
42014
On the computational complexity of stratified negation in linear-time temporal logic programming
CD Koutras, C Nomikos
Intensional Programming II, World Scientific, Singapore, 106-116, 2000
42000
A note on the complexity of S4. 2
A Chalki, CD Koutras, Y Zikos
Journal of Applied Non-Classical Logics 31 (2), 108-129, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20