Lukas Zenger

According to our database, Lukas Zenger authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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