Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Yorgos Zikos"'
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
https://doi.org/10.1093/jigpal/jzab030
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
https://doi.org/10.1080/11663081.2021.1901560
Publikováno v:
Logic Journal of the IGPL. 26:429-451
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca819e16f6704e3fae7004dad42c77a8
https://doi.org/10.1093/jigpal/jzy008
https://doi.org/10.1093/jigpal/jzy008
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
https://doi.org/10.1093/logcom/exx016
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
https://doi.org/10.1080/11663081.2016.1214804
Autor:
Yorgos Zikos, Costas D. Koutras
Publikováno v:
Fundamenta Informaticae. 96:111-125
An important question in modal nonmonotonic logics concerns the limits of propositional definability for logics of the McDermott-Doyle family. Inspired by this technical question we define a variant of autoepistemic logic which provably corresponds t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5ae60ec284e61ed004f09e3bd4c0476
https://doi.org/10.3233/fi-2009-170
https://doi.org/10.3233/fi-2009-170
Publikováno v:
Logics in Artificial Intelligence ISBN: 9783319115573
JELIA
JELIA
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_________::d9d141c493a836d546e8a4ef5df817f3
https://doi.org/10.1007/978-3-319-11558-0_47
https://doi.org/10.1007/978-3-319-11558-0_47
Publikováno v:
Logics in Artificial Intelligence ISBN: 9783319115573
JELIA
JELIA
We investigate the minimal knowledge approach of Halpern-Moses 'only knowing' in the context of two syntactic variants of stable belief sets that aim in avoiding the unreasonably perfect omniscient agent modelled in R. Stalnaker's original definition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8b11fcb0f543829f1bae424f0229f0f
https://doi.org/10.1007/978-3-319-11558-0_20
https://doi.org/10.1007/978-3-319-11558-0_20
Publikováno v:
Artificial Intelligence: Methods and Applications ISBN: 9783319070636
SETN
SETN
The modality ‘true in many cases’ is used to handle non-classical patterns of reasoning, like ‘probably φ is the case’ or ‘normally φ holds’. It is of interest in Knowledge Representation as it has found interesting applications in Epis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc1814ed92addecc5f754d2770bbff4f
https://doi.org/10.1007/978-3-319-07064-3_17
https://doi.org/10.1007/978-3-319-07064-3_17