Skip to content

Relativized Action Complement for Dynamic Logics.

Jan M. Broersen

VenueBAiML
Year2002
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.