Skip to content

Quantification over names and modalities.

Eric Martin

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.