Sciweavers

FLAIRS
2008

Modelling Uniformity and Control during Knowledge Acquisition

13 years 6 months ago
Modelling Uniformity and Control during Knowledge Acquisition
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.
Bernhard Heinemann
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where FLAIRS
Authors Bernhard Heinemann
Comments (0)