Forensic Dynamic Lukasiewicz Logic

A forensic dynamic n-valued Lukasiewicz logic FDL_n is introduced on the base of n-valued Lukasiewicz logic L_n and corresponding to it forensic dynamic MV_n-algebra (FDL_n-algebra)‎, ‎۱ < n < \omega‎, ‎which are algebraic counterparts of the logic‎, ‎that in turn represent two-sorted algebras (\mathcal{M}‎, ‎\mathcal{R}‎, ‎\Diamond) that combine the varieties of MV_n-algebras \mathcal{M} = (M‎, ‎\oplus‎, ‎\odot‎, ‎\sim‎, ‎۰,۱) and regular algebras \mathcal{R} = (R,\cup‎, ‎;‎, ‎^\ast) into a single finitely axiomatized variety resemblig R-module with‎ ‎"scalar"‎ ‎multiplication \Diamond‎. ‎Kripke semantics is developed for forensic dynamic Lukasiewicz logic FDL_n with application to Digital Forensics‎.

Keywords:

Lukasiewiz Logic‎ , ‎Dynamic Logic‎ , ‎Epistemic Logic‎ , ‎MV-algebra