1

Linear Temporal Logic LTL: Basis for Admissible Rules

E-Article
2

Logics of Kripke meta-models

E-Article
3

Deduction-detachment theorem in hidden k-logics

E-Article
5

ULTRAFILTRATION OF MODIFIED MILK WHEY

E-Article