basic show for logics