Titlebook: Logic, Language, Information, and Computation; 25th International W Lawrence S. Moss,Ruy de Queiroz,Maricarmen Martine Conference proceedin

Complement

APAL with Memory Is Better,is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that uses a natural finitary rule, we study this logic’s expressivity and the appropriate notion of bisimulation.

eardrum

Resign