Track:
All Papers
Downloads:
Abstract:
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, which is essentially due to Baskent, against the background of dynamic epistemic logic. The new connective turns out to be rather complex, but hybridizing the source language enables us to prove some of the desired fundamental properties of the arising logic like completeness or decidability.