this page gives an overview of the most important terms the term conscientious objector may not now be understood a model theory can be given by heyting algebras or equivalently by kripke semantics