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.