A Type Reduction from Proof-conditional to Dynamic Semantics Tim Fernando OriginalPaper Pages: 121 - 153
Constraints for Input/Output Logics David MakinsonLeendert van der Torre OriginalPaper Pages: 155 - 185