Realization for Justification Logics via Nested Sequents: Modularity through Embedding
| Title | Realization for Justification Logics via Nested Sequents: Modularity through Embedding |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Goetschi, R, Kuznets R |
| Journal | Annals of Pure and Applied Logic |
| ISSN | 0168-0072 |
| URL | http://www.iam.unibe.ch/ltgpub/2012/gk12.pdf |
| DOI | 10.1016/j.apal.2012.02.002 |
| Citation Key | gk12 |
