Logic and Information

This Element looks at two projects that relate logic and information: the project of using logic to integrate, manipulate and interpret information and the project of using information to provide interpretations of logical systems. It also integrates these logics into contemporary theories of informational updating, probability theory.