Compiled Labelled Deductive Systems for Modal and Conditional Logics

D Gabbay, K Broda, L Lamb, A Russo

Research output: Book/ReportBook

Original languageEnglish
PublisherResearch Studies Press
ISBN (Print)0863802966
Publication statusPublished - 2004

Cite this