Forward Proof Search for Intuitionistic Multimodal K Logics
Voorneveld, Niels Frits Willem
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
2025
/
p. 335–353
https://doi.org/10.1007/978-3-032-06085-3_18
https://www.scopus.com/sourceid/25674
https://www.scopus.com/pages/publications/105019253434?origin=resultslist
https://www.webofscience.com/wos/woscc/full-record/WOS:001678507100020