bitstrings

We have developed a bitstring representation format which provides us with a compact notation system for the denotations of formulae or expressions in various logical systems (see Paper P1, Paper P17, Paper P20). The table below lists the canonical bitstring representations (with bitstrings of length 4) for the expressions in two standard systems, namely those of standard Propositional Logic (with at most two propositional variables) and those of the modal logic S5 (with one propositional variable).