Saúl Fernández González

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Epistemic Logic

Topological Properties

Top Venues

ACM Trans. Comput. Log.

J. Log. Comput.

Publications

Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements. ACM Trans. Comput. Log. 23 (2) (2022)
Philippe Balbiani, Saúl Fernández González
Parametrized modal logic I: An introduction. AiML (2022)
Saúl Fernández González
Change in social networks: Some dynamic extensions of Social Epistemic Logic. J. Log. Comput. 32 (6) (2022)
Philippe Balbiani, Saúl Fernández González
Orthogonal Frames and Indexed Relations. WoLLIC (2021)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements. ECAI (2020)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change. AiML (2020)
Philippe Balbiani, Saúl Fernández González
Indexed Frames and Hybrid Logics. AiML (2020)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
Topological Evidence Logics: Multi-agent Setting. TbiLLC (2019)
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC (2019)