Logic for Computer Scientists/Modal Logic/Syntax: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 July 2007

  • curprev 14:2114:21, 5 July 2007 imported>SarahGb 632 bytes +632 New page: ==Syntax== We assume the syntax of classical propositional logic as used in the chapters above. Additional we have the following two rules: If <math>A</math> is a formula <center><math>\b...
Retrieved from "https://en-labs.wikimedia.beta.math.wmflabs.org/wiki/Logic_for_Computer_Scientists/Modal_Logic/Syntax"