We stand with Ukraine  

Saúl Fernández González

Orcid: 0000-0001-5840-0611

According to our database1, Saúl Fernández González authored at least 10 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Asynchronous Announcements.
[BibTeX]
[DOI]
Philippe Balbiani
,
Hans van Ditmarsch
,
Saúl Fernández González
ACM Trans. Comput. Log., 2022

Change in social networks: Some dynamic extensions of Social Epistemic Logic.
[BibTeX]
[DOI]
Saúl Fernández González
J. Log. Comput., 2022

Parametrized modal logic I: An introduction.
[BibTeX]
[DOI]
Philippe Balbiani
,
Saúl Fernández González
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Logics for Social Networks: Asynchronous Announcements in Orthogonal Structures. (Logiques pour les réseaux sociaux: annonces asynchrones dans des structures orthogonales).
[BibTeX]
[DOI]
Saúl Fernández González
PhD thesis, 2021

Orthogonal Frames and Indexed Relations.
[BibTeX]
[DOI]
Philippe Balbiani
,
Saúl Fernández González
Proceedings of the Logic, Language, Information, and Computation, 2021

2020
From Public Announcements to Asynchronous Announcements.
[BibTeX]
[DOI]
Philippe Balbiani
,
Hans van Ditmarsch
,
Saúl Fernández González
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Indexed Frames and Hybrid Logics.
[BibTeX]
[DOI]
Philippe Balbiani
,
Saúl Fernández González
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Quantifying over Asynchronous Information Change.
[BibTeX]
[DOI]
Philippe Balbiani
,
Hans van Ditmarsch
,
Saúl Fernández González
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
The McKinsey-Tarski Theorem for Topological Evidence Logics.
[BibTeX]
[DOI]
Alexandru Baltag
,
Nick Bezhanishvili
,
Saúl Fernández González
Proceedings of the Logic, Language, Information, and Computation, 2019

Topological Evidence Logics: Multi-agent Setting.
[BibTeX]
[DOI]
Alexandru Baltag
,
Nick Bezhanishvili
,
Saúl Fernández González
Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019


  Loading...