A Formal Logic is developed and the following presented: i) Notation for Formal Logic; ii) developing the Formal Logic for Digital Investigations Experiments (FDIE); iii) Case study modifying BPB and demonstrating the Formal Logic in ii); and iv) extending the Formal logic to Digital Investigations (FDI). A case study using BIOS Partition Block (BPB) modifications to render the partitions unrea...

a controversy among the muslim philosophers about the domain of the extensions was that is the subject of the verity-propositions contained the impossible extensions or only all of the actual and possible ones. from ibn-sina to al-khunaji, there are explicit texts to the former view; but later logicians, starting with athir al-din al-abhari, were inclined to the latter. in this paper, we attamp...