Lide Grotenhuis

According to our database, Lide Grotenhuis authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Intuitionistic μ-Calculus with the Lewis Arrow.

Bahareh Afshari, Lide Grotenhuis

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

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