Title: Proceedings
Subjects: Modality (Logic), Symbolic and mathematical Logic