×
Author ID: koutras.costas-d Recent zbMATH articles by "Koutras, Costas D."
Published as: Koutras, Costas D.; Koutras, Costas
Documents Indexed: 29 Publications since 1999
Co-Authors: 24 Co-Authors with 28 Joint Publications
491 Co-Co-Authors

Citations contained in zbMATH Open

19 Publications have been cited 68 times in 46 Documents Cited by Year
Notions of bisimulation for Heyting-valued modal languages. Zbl 1250.03032
Eleftheriou, Pantelis E.; Koutras, Costas D.; Nomikos, Christos
14
2012
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis
8
2000
Knowledge means ‘all’, belief means ‘most’. Zbl 1361.68216
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
7
2012
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
7
2003
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
4
2016
Maps in multiple belief change. Zbl 1352.03024
Peppas, Pavlos; Koutras, Costas D.; Williams, Mary-Anne
3
2012
Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces. Zbl 1040.03026
Koutras, Costas D.; Koletsos, George; Zachos, Stathis
3
1999
Weaker axioms, more ranges. Zbl 1029.03013
Koutras, Costas D.; Peppas, Pavlos
3
2002
Canonicity and completeness results for many-valued modal logics. Zbl 1185.03032
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos
3
2002
Frame constructions, truth invariance and validity preservation in many-valued modal logic. Zbl 1185.03029
Eleftheriou, Pantelis E.; Koutras, Costas D.
3
2005
In all, but finitely many, possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1465.68241
Koutras, Costas D.; Rantsoudis, Christos
2
2015
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos
2
2017
A modal logic of knowledge, belief, and estimation. Zbl 1434.03064
Koutras, Costas D.; Moyzes, Christos; Zikos, Yorgos
2
2014
A quick guided tour to the modal logic S4.2. Zbl 1492.03006
Chalki, Aggeliki; Koutras, Costas D.; Zikos, Yorgos
2
2018
A reconstruction of default conditionals within epistemic logic. Zbl 1441.03017
Koutras, Costas D.; Moyzes, Christos; Rantsoudis, Christos
1
2019
Stathis Zachos at 70! Zbl 1486.68007
Bakali, Eleni; Cheilaris, Panagiotis; Fotakis, Dimitris; Fürer, Martin; Koutras, Costas D.; Markou, Euripides; Nomikos, Christos; Pagourtzis, Aris; Papadimitriou, Christos H.; Papaspyrou, Nikolaos S.; Potika, Katerina
1
2017
Relating truth, knowledge and belief in epistemic states. Zbl 1341.68227
Koutras, Costas D.; Zikos, Yorgos
1
2011
On the computational complexity of stratified negation in linear-time temporal logic programming. Zbl 1051.68541
Koutras, Costas D.; Nomikos, Christos
1
2000
Stable belief sets revisited. Zbl 1306.68193
Koutras, Costas D.; Zikos, Yorgos
1
2010
A reconstruction of default conditionals within epistemic logic. Zbl 1441.03017
Koutras, Costas D.; Moyzes, Christos; Rantsoudis, Christos
1
2019
A quick guided tour to the modal logic S4.2. Zbl 1492.03006
Chalki, Aggeliki; Koutras, Costas D.; Zikos, Yorgos
2
2018
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos
2
2017
Stathis Zachos at 70! Zbl 1486.68007
Bakali, Eleni; Cheilaris, Panagiotis; Fotakis, Dimitris; Fürer, Martin; Koutras, Costas D.; Markou, Euripides; Nomikos, Christos; Pagourtzis, Aris; Papadimitriou, Christos H.; Papaspyrou, Nikolaos S.; Potika, Katerina
1
2017
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
4
2016
In all, but finitely many, possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1465.68241
Koutras, Costas D.; Rantsoudis, Christos
2
2015
A modal logic of knowledge, belief, and estimation. Zbl 1434.03064
Koutras, Costas D.; Moyzes, Christos; Zikos, Yorgos
2
2014
Notions of bisimulation for Heyting-valued modal languages. Zbl 1250.03032
Eleftheriou, Pantelis E.; Koutras, Costas D.; Nomikos, Christos
14
2012
Knowledge means ‘all’, belief means ‘most’. Zbl 1361.68216
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
7
2012
Maps in multiple belief change. Zbl 1352.03024
Peppas, Pavlos; Koutras, Costas D.; Williams, Mary-Anne
3
2012
Relating truth, knowledge and belief in epistemic states. Zbl 1341.68227
Koutras, Costas D.; Zikos, Yorgos
1
2011
Stable belief sets revisited. Zbl 1306.68193
Koutras, Costas D.; Zikos, Yorgos
1
2010
Frame constructions, truth invariance and validity preservation in many-valued modal logic. Zbl 1185.03029
Eleftheriou, Pantelis E.; Koutras, Costas D.
3
2005
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
7
2003
Weaker axioms, more ranges. Zbl 1029.03013
Koutras, Costas D.; Peppas, Pavlos
3
2002
Canonicity and completeness results for many-valued modal logics. Zbl 1185.03032
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos
3
2002
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis
8
2000
On the computational complexity of stratified negation in linear-time temporal logic programming. Zbl 1051.68541
Koutras, Costas D.; Nomikos, Christos
1
2000
Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces. Zbl 1040.03026
Koutras, Costas D.; Koletsos, George; Zachos, Stathis
3
1999

Citations by Year