This essay proposes a procedural interpretation of negative information in terms of split negation as procedural prohibition. Information frames and models are introduced, with negation defined as the implication of bottom, 0. A method for extracting the procedures prohibited by complex formulas is outlined, and the relationship between types of prohibited procedures is identified. Definitions of negation types in terms of the implication of 0 on an informational interpretation have been criticized. This criticism turns on the definitions creating a purportedly (...) unnatural asymmetry between positive and negative information. It is demonstrated below that a strong asymmetry between positive and negative information is in fact the case. As such, an asymmetry between positive and negative information is natural, and something that we should want an informational interpretation of negation to preserve. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Performing an inference involves irreducibly dynamic cognitive procedures. The article proposes that a non-associative information frame, corresponding to a residuated pogroupoid, underpins the information structure involved. The argument proceeds by expounding the informational turn in logic, before outlining the cognitive actions at work in deductive inference. The structural rules of Weakening, Contraction, Commutation, and Association are rejected on the grounds that they cause us to lose track of the information flow in inferential procedures. By taking the operation of information application (...) as the primary operation, the fusion connective is retained, with commutative failure generating a double implication. The other connectives are rejected. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.