1

Deduction-detachment theorem in hidden k-logics

E-Article
2

Linear Temporal Logic LTL: Basis for Admissible Rules

E-Article
3