Extending resource-aware logics door Norihiro Kamide