Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"

2024-11-282024-11-282024https://fis.uni-bamberg.de/handle/uniba/105081eng004Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"dataset10.5281/zenodo.10802221