View of Partial cut elimination for combinations of propositional multi-modal logics with past time | Lietuvos matematikos rinkinys

← Partial cut elimination for combinations of propositional multi-modal logics with past time