Merging observational and access dynamics in logic (0)

by J van Benthem
Venue:Institute of Logic and Cognition, Soon Yat-Sen