Completeness and Decidability of Modal Logic Calculi 1.2

This is a maintenance release that only supports MathComp 2.0.0 and later. It has been tested with the following versions of Coq and MathComp:

• mathcomp-2.2.0 / coq-8.20
• mathcomp-2.2.0 / coq-8.19
• mathcomp-2.2.0 / coq-8.18
• mathcomp-2.2.0 / coq-8.17
• mathcomp-2.2.0 / coq-8.16
• mathcomp-2.1.0 / coq-8.17
• mathcomp-2.1.0 / coq-8.16
• mathcomp-2.0.0 / coq-8.17
• mathcomp-2.0.0 / coq-8.16

Completeness and Decidability of Modal Logic Calculi 1.1

This is a maintenance release and has been tested with the following versions of Coq and mathcomp:

• mathcomp-1.14.0 / coq-8.15
• mathcomp-1.13.0 / coq-8.14
• mathcomp-1.12.0 / coq-8.13
• mathcomp-1.11.0 / coq-8.12

Completeness and Decidability of Modal Logic Calculi 1.0

This is the first release of the development as part of the coq-community organization.

This release has been tested with the following versions of Coq and mathcomp:

• coq-8.10 / mathcomp-1.9.0
• coq-8.11 / mathcomp-1.10.0
• coq-8.12 / mathcomp-1.11.0