Extending resource-aware logics by Norihiro Kamide