Skip to content

From Frame Properties to Hypersequent Rules in Modal Logics.

Ori Lahav

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.