Skip to content

Modal Logics Preserving Admissible for S4 Inference Rules.

Vladimir V. Rybakov

VenueBCSL
Year1994
ProceedingsCSL

Browse the full CSL paper archive.