What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Joseph Y. Halpern

Logic in computer science, across three unrelated corners of this corpus: effective axiomatizations of Hoare logics, which asks what admits a complete axiomatisation; 'On the unusual effectiveness of logic in computer science'; and the Handbook of Epistemic Logic, a reference work held in no set. The middle record is the general case of which this corpus's largest topic sets -- all about the limits of particular logics -- are instances.