Notions of bisimulation for Heyting-valued modal languages. Zbl 1250.03032
Eleftheriou, Pantelis E.; Koutras, Costas D.; Nomikos, Christos |
|
2012
|
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis |
|
2000
|
Knowledge means ‘all’, belief means ‘most’. Zbl 1361.68216
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos |
|
2012
|
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D. |
|
2003
|
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos |
|
2016
|
Maps in multiple belief change. Zbl 1352.03024
Peppas, Pavlos; Koutras, Costas D.; Williams, Mary-Anne |
|
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 |
|
1999
|
Weaker axioms, more ranges. Zbl 1029.03013
Koutras, Costas D.; Peppas, Pavlos |
|
2002
|
Canonicity and completeness results for many-valued modal logics. Zbl 1185.03032
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos |
|
2002
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic. Zbl 1185.03029
Eleftheriou, Pantelis E.; Koutras, Costas D. |
|
2005
|
In all, but finitely many, possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1465.68241
Koutras, Costas D.; Rantsoudis, Christos |
|
2015
|
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos |
|
2017
|
A modal logic of knowledge, belief, and estimation. Zbl 1434.03064
Koutras, Costas D.; Moyzes, Christos; Zikos, Yorgos |
|
2014
|
A quick guided tour to the modal logic S4.2. Zbl 1492.03006
Chalki, Aggeliki; Koutras, Costas D.; Zikos, Yorgos |
|
2018
|
A reconstruction of default conditionals within epistemic logic. Zbl 1441.03017
Koutras, Costas D.; Moyzes, Christos; Rantsoudis, Christos |
|
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 |
|
2017
|
Relating truth, knowledge and belief in epistemic states. Zbl 1341.68227
Koutras, Costas D.; Zikos, Yorgos |
|
2011
|
On the computational complexity of stratified negation in linear-time temporal logic programming. Zbl 1051.68541
Koutras, Costas D.; Nomikos, Christos |
|
2000
|
Stable belief sets revisited. Zbl 1306.68193
Koutras, Costas D.; Zikos, Yorgos |
|
2010
|
A reconstruction of default conditionals within epistemic logic. Zbl 1441.03017
Koutras, Costas D.; Moyzes, Christos; Rantsoudis, Christos |
|
2019
|
A quick guided tour to the modal logic S4.2. Zbl 1492.03006
Chalki, Aggeliki; Koutras, Costas D.; Zikos, Yorgos |
|
2018
|
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos |
|
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 |
|
2017
|
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos |
|
2016
|
In all, but finitely many, possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1465.68241
Koutras, Costas D.; Rantsoudis, Christos |
|
2015
|
A modal logic of knowledge, belief, and estimation. Zbl 1434.03064
Koutras, Costas D.; Moyzes, Christos; Zikos, Yorgos |
|
2014
|
Notions of bisimulation for Heyting-valued modal languages. Zbl 1250.03032
Eleftheriou, Pantelis E.; Koutras, Costas D.; Nomikos, Christos |
|
2012
|
Knowledge means ‘all’, belief means ‘most’. Zbl 1361.68216
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos |
|
2012
|
Maps in multiple belief change. Zbl 1352.03024
Peppas, Pavlos; Koutras, Costas D.; Williams, Mary-Anne |
|
2012
|
Relating truth, knowledge and belief in epistemic states. Zbl 1341.68227
Koutras, Costas D.; Zikos, Yorgos |
|
2011
|
Stable belief sets revisited. Zbl 1306.68193
Koutras, Costas D.; Zikos, Yorgos |
|
2010
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic. Zbl 1185.03029
Eleftheriou, Pantelis E.; Koutras, Costas D. |
|
2005
|
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D. |
|
2003
|
Weaker axioms, more ranges. Zbl 1029.03013
Koutras, Costas D.; Peppas, Pavlos |
|
2002
|
Canonicity and completeness results for many-valued modal logics. Zbl 1185.03032
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos |
|
2002
|
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis |
|
2000
|
On the computational complexity of stratified negation in linear-time temporal logic programming. Zbl 1051.68541
Koutras, Costas D.; Nomikos, Christos |
|
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 |
|
1999
|