Valentin Müller

According to our database, Valentin Müller authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Hypergraph Semantics for Doxastic Logics.

Hans van Ditmarsch, Djanira Gomes, David Lehnherr, Valentin Müller, Thomas Studer

CoRR, December, 2025

2024

Labelled Sequent Calculi for Inquisitive Modal Logics.

Valentin Müller

Proceedings of the Logic, Language, Information, and Computation, 2024

Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic.

Valentin Müller

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