Skip to content

Bilattice Public Announcement Logic.

Umberto Rivieccio

VenueBAiML
Year2014
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.