Bidirectional decision procedures for the intuitionistic propositional modal logic IS4 (2007)

by S Heilala, B Pientka
Venue:Proceedings of the 21st International Conference on Automated Deduction (CADE), volume 4603 of LNAI