Skip to content

A Deduction Method for Modal Logic.

Luis Farias del Cerro

VenueAECAI
Year1982
ProceedingsECAI

Browse the full ECAI paper archive.