A proof procedure for adaptive logics

TitleA proof procedure for adaptive logics
Publication TypeJournal Article
AuthorsVerdée, P
Download PDF (Author PDF)
PDF author (public):