Zobrazeno 1 - 10
of 53
pro vyhledávání: '"David Fernández Duque"'
Autor:
David Fernández-Duque, Yoàv Montacute
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the
Externí odkaz:
https://doaj.org/article/3223571e451649fb93dce889efacc313
Publikováno v:
Journal of Logic and Computation. 32:1487-1503
We introduce Noetherian Gödel logics, Gödel logics where the set of truth values is a closed subset of $[0,1]$ containing $0$ and $1$ and without any infinite ascending sequences. There are infinitely many such logics, including the well-known logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e170ce14e1679ff9349af83fbf4cd1e6
https://doi.org/10.1093/logcom/exac064
https://doi.org/10.1093/logcom/exac064
Publikováno v:
Mathematics for Computation (M4C) ISBN: 9789811245213
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4e109a372c37dd74a58ef71f4c85be7
https://doi.org/10.1142/9789811245220_0007
https://doi.org/10.1142/9789811245220_0007
Autor:
David Fernández Duque
Publikováno v:
The Review of Symbolic Logic. :1-10
In topological modal logic, it is well known that the Cantor derivative is more expressive than the topological closure, and the ‘elsewhere’, or ‘difference’, operator is more expressive than the ‘somewhere’ operator. In 2014, Kudinov and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::737a9a8438d1d03b73d4f7a290e1d745
https://doi.org/10.1017/s1755020322000120
https://doi.org/10.1017/s1755020322000120
Publikováno v:
The Journal of Symbolic Logic. 87:995-1022
The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$ , recently shown to be decidable by Fernández-Duque. In th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e89704379e64ee4c2ae9cf3e0daa92c7
https://doi.org/10.1017/jsl.2022.8
https://doi.org/10.1017/jsl.2022.8
Autor:
David Fernández-Duque
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $f\colon X\to X$ is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to
Externí odkaz:
https://doaj.org/article/869be6a7a1894ae9803f607ad429a61d
Autor:
Martín Diéguez, David Fernández-Duque
Publikováno v:
Computational Intelligence and Mathematics for Tackling Complex Problems 4 ISBN: 9783031077067
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae386f597d804a24256bf305b9e36774
https://doi.org/10.1007/978-3-031-07707-4_1
https://doi.org/10.1007/978-3-031-07707-4_1
Publikováno v:
Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning.
In this paper we present a topological epistemic logic, with modalities for knowledge (modeled as the universal modality), knowability (represented by the topological interior operator), and unknowability of the actual world. The last notion has a no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::669d1b2c00c54b46447381fbd8144fc2
https://doi.org/10.24963/kr.2022/4
https://doi.org/10.24963/kr.2022/4
Publikováno v:
Theory and Practice of Logic Programming. 21:459-492
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible to extend
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d0bd9ec9d2c18e8943e76d3a09b95e4
https://doi.org/10.1017/s1471068421000089
https://doi.org/10.1017/s1471068421000089
Autor:
David Fernández-Duque, Quentin Gougeon
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783031152979
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f42cd256ccbb5449e638dde817e9698d
https://doi.org/10.1007/978-3-031-15298-6_3
https://doi.org/10.1007/978-3-031-15298-6_3