forensic dynamic lukasiewicz logic

A forensic dynamic n-valued lukasiewicz logic f d ln is introduced on the base of n-valued lukasiewicz logic ln and corresponding to it forensic dynamic mvn-algebra (f dln-algebra), 1 < n < ω, which are algebraic counterparts of the logic, that in turn represent two-sorted algebras (m, r, ♢) that combine the varieties of mvnalgebras m = (m, ⊕, ⊙, ∼, 0, 1) and regular algebras r = (r, ∪, ; , ∗ ) into a single finitely axiomatized variety resemblig r-module with ”scalar” multiplication ♢. kripke semantics is developed for forensic dynamic lukasiewicz logic f d ln with application to digital forensics.