المؤلفون: A. Ciabattoni, F. A. Genco

المساهمون: S. Demri, L. Beklemishev, A. Mate, A. Ciabattoni, F.A. Genco

مصطلحات موضوعية: Hypersequent calculi, Intermediate logic, Proof theory, Systems of rule, Settore M-FIL/02 - Logica e Filosofia della Scienza

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781848902015; ispartofbook:Advances in Modal Logic (Vol. 11); AiML Conference on Advances in Modal Logic : 30 August through 2 September; firstpage:197; lastpage:216; numberofpages:20; alleditors:S. Demri, L. Beklemishev, A. Mate; https://hdl.handle.net/2434/1036349; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85019460367

الاتاحة: https://hdl.handle.net/2434/1036349