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

R. Goré, R. Ramanayake

OnderzoeksoutputAcademicpeer review

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

Citeer dit