Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Remo Goetschi"'
Autor:
Remo Goetschi, Roman Kuznets
Publikováno v:
Annals of Pure and Applied Logic
Justification logics are refinements of modal logics, where justification terms replace modalities. Modal and justification logics are connected via the so-called realization theorems. We develop a general constructive method of proving the realizati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7afb9c9d4549201975e9f10080db8814
http://www.iam.unibe.ch/ltgpub/2012/gk12.pdf
http://www.iam.unibe.ch/ltgpub/2012/gk12.pdf
