Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

Cached

Download Links

by Samuli Heilala , Brigitte Pientka
Citations:2 - 0 self