home / content / format / download / contact

Version history

Version numbers are formatted in the usual way: as a decimal, with increments indicating amount of change. The number in brackets is the date that the PDF file was compiled; the format is [year month day]

Notable prior versions are kept available at the SUNY DSpace digital archive.

• version 1.40 [171229] Cleaned up formatting. Changed notation (again) for substitution instances in QL proof rules.
• version 1.30 [141227] Changed truth tables to use 1 and 0. Changed notation for substitution instances in QL proof rules.
• version 1.29 [120106] Small fixes.
• version 1.28 [100520] Fixed a handful of typos.
• version 1.27 [090604] Fixed numerous typos.
• version 1.26 [090109] Slight revisions for Spring 2009.
• version 1.24 [080109] Fixed typos. Renamed 'dilemma' and 'material conditional' proof rules.
• version 1.23 [070512] Fixed minor typos.
• version 1.22 [070331] Minor corrections. Changed license to Creative Commons Attribution-ShareAlike 3.0, removing the 'no commercial use' restriction.
• version 1.21 [070113] Fixed minor typographical and formatting errors throughout.
• version 1.20 [060710] Completely revised the sections on reasoning about all models and the definition of satisfaction (ch 5). Added two problem sets with solutions (ch 6).
• version 1.11 [060124] Small corrections. Additional exercises: proofs using identity.
• version 1.10 [051127] Corrections throughout. Additional exercises. Added an appendix on alternate notation.
• version 1.05 [050820] More exercises and solutions.
• version 1.00 [050713] The text suffers from a dearth of practice exercises, but is otherwise complete.

This page is © P.D. Magnus and is offered under the Creative Commons license. Some rights reserved. (Attribution 4.0)