A Resolution Calculus for Modal Logics (1988)

View PDF

Download Links

by Hans Jürgen Ohlbach
Citations:88 - 7 self