Propositional Logic and Formal Codification of Behavioral Operations Salthe, Gunnar, Løkke, Jon Arne, Arntzen, Erik (2015)