Skip to content

A Sequent Calculus for Modal Quantificational Logic.

Frank M. Brown

VenueAECAI
Year1978
ProceedingsAISB/GI (ECAI)

Browse the full ECAI paper archive.