Lide Grotenhuis

According to our database, Lide Grotenhuis authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Intuitionistic Master Modality.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

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

2023

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023