A proof procedure for adaptive logics
Title | A proof procedure for adaptive logics |
Publication Type | Journal Article |
Authors | Verdée, P |
PDF author (public):
Title | A proof procedure for adaptive logics |
Publication Type | Journal Article |
Authors | Verdée, P |