Skip to content

Downward-directed transitive frames with universal relations.

Ilya Shapirovsky

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.