-
We propose a number of powerful dynamic-epistemic logics for multi-agent information sharing and acts of publicly or privately accessing other agents' information databases. The static base of our logics is obtained by adding to standard epistemic logic comparative epistemic assertions, that can ...
-
189. History of the ILLC
-
194. Bibliotheca Beth
-
197. CERTAIN-AI