Zobrazeno 1 - 10 of 71 pro vyhledávání: '"Costas D. Koutras"'
2
On weak filters and ultrafilters: Set theory from (and for) knowledge representation
Autor: Konstantinos Tsaprounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos, Christos Nomikos
Publikováno v: Logic Journal of the IGPL. 31:68-95
Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::99ea2d1b8ae7536799958af3afc5a62b
https://doi.org/10.1093/jigpal/jzab030
Zobrazit plný text záznamu
3
A note on the complexity of S4.2
Autor: Costas D. Koutras, Yorgos Zikos, Aggeliki Chalki
Publikováno v: Journal of Applied Non-Classical Logics. 31:108-129
S4.2 is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical ...
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d0a6a40549778f6a69d0ee78e6da31df
https://doi.org/10.1080/11663081.2021.1901560
Zobrazit plný text záznamu
5
Galois connections for bilattices
Autor: Costas D. Koutras, Georgios V. Pitsiladis
Publikováno v: Algebra universalis. 82
We introduce notions of Galois biconnections, intended to be the bilattice analogue of classical Galois connections between lattices. A bidirectional Galois biconnection is a (compatible) pair of Galois connections, the first relating truth orderings
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c8adcdc81b91f9e08b35765ecc113cd3
https://doi.org/10.1007/s00012-021-00722-9
Zobrazit plný text záznamu
7
A modal logic of knowledge, belief and estimation
Autor: Costas D. Koutras, Christos Moyzes, Yorgos Zikos
Publikováno v: Journal of Logic and Computation. 27:2303-2339
We introduce KBE, a modal epistemic logic for reasoning about Knowledge, Belief and Estimation, three attitudes involved in an agent's decision-making process. In our logic, Knowledge and Belief are captured by S4.2, a modal logic holding a distingui
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::04df7133f33643241e453040fd29dfda
https://doi.org/10.1093/logcom/exx016
Zobrazit plný text záznamu
8
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals
Autor: Costas D. Koutras, Christos Rantsoudis
Publikováno v: Journal of Logic, Language and Information. 26:109-141
Defeasible conditionals are statements of the form `ifAthen normallyB'. One plausible interpretation introduced in nonmonotonic reasoning dictates that ($$A\Rightarrow B$$AźB) is true iff B is true in `most' A-worlds. In this paper, we investigate d
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::543d16e8333b04a5c7e21c0814c1d693
https://doi.org/10.1007/s10849-017-9251-5
Zobrazit plný text záznamu
10
Knowledge means ‘all’, belief means ‘most’
Autor: Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
Publikováno v: Journal of Applied Non-Classical Logics. 26:173-192
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most (i.e. a ‘majority’) of the epistemically alt
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::68c9f84bf9e72af5991fa260c85d05ac
https://doi.org/10.1080/11663081.2016.1214804
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje