Lukas Zenger

According to our database, Lukas Zenger authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Coalgebraic Proof Translations for Non-Wellfounded Proofs.

Borja Sierra-Miranda, Thomas Studer, Lukas Zenger

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 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

A Family of Decidable Bi-intuitionistic Modal Logics.

David Fernández-Duque, Brett McLean, Lukas Zenger

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

An analytic proof system for common knowledge logic over S5.

Jan Rooduijn, Lukas Zenger

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