A Resolution Calculus for Modal Logics (1988)

Cached

Download Links

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

Document Versions

A Resolution Calculus for Modal Logics –Hans Jürgen Ohlbach — 1988