Artykuły

A cut-free proof system for a predicate extension of the logic of provability

Reports on Mathematical Logic, 2018, Number 53, s. 97-109
Data publikacji online: 6 września 2018
DOI 10.4467/20842589RM.18.006.8839