Forward Proof Search for Intuitionistic Multimodal K LogicsVoorneveld, Niels Frits WillemAutomated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings2025 / p. 335–353 https://doi.org/10.1007/978-3-032-06085-3_18 Conference proceedings at Scopus Article at Scopus Article at WOS