Realization for Justification Logics via Nested Sequents: Modularity through Embedding

TitleRealization for Justification Logics via Nested Sequents: Modularity through Embedding
Publication TypeJournal Article
Year of Publication2012
AuthorsGoetschi, R, Kuznets, R
JournalAnnals of Pure and Applied Logic
Volume163
Pagination1271-1298
Date PublishedSeptember
URLhttp://www.iam.unibe.ch/ltgpub/2012/gk12.pdf
DOI10.1016/j.apal.2012.02.002