Labelled tree sequents, tree hypersequents and nested (Deep) sequents

R. Goré, R. Ramanayake

OnderzoeksoutputAcademicpeer review

30 Citaten (Scopus)
109 Downloads (Pure)
Originele taal-2English
TitelAdvances in Modal Logic
Pagina's279-299
Aantal pagina's21
StatusPublished - 2014
Extern gepubliceerdJa

Citeer dit