Guillaume Massas

According to our database, Guillaume Massas authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

Constructive Quantum Logics.

Juan P. Aguilera, Guillaume Massas

CoRR, March, 2025

2024

Goldblatt-Thomason Theorems for Fundamental (Modal) Logic.

Guillaume Massas

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Bolzano's Mathematical Infinite.

Anna Bellomo, Guillaume Massas

Rev. Symb. Log., March, 2023

A Semi-Constructive Approach to the Hyperreal Line.

Guillaume Massas

Australas. J. Log., 2023

B-frame duality.

Guillaume Massas

Ann. Pure Appl. Log., 2023

2022

Choice-Free de Vries Duality.

Guillaume Massas

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022