SQEMA with universal modality (Legacy)

Modal Formula:

Current Formula:


First-Order Formula:


Proof:

Log:

Legend: Nominals: starting with a small Latin 'c', alphanumeric. Propositional Variables: starting with a small Latin letter other than 'c', alphanumeric. `# - -` Necessity `@ - -` Possibility `#' - ^-1 -` Reversed Necessity; also: % `@' - ^-1 -` Reversed Possibility; also: ^ `[U] -` Universal necessity `<U> -` Universal possibility `[n] -` Necessity with relation index, where n is a number `<n> -` Possibility with relation index, where n is a number `[n]'-` Reversed Necessity with relation index, where n is a number `<n>'-` Reversed Possibility with relation index, where n is a number `& - -` Conjunction `\| - -` Disjunction `~ - -` Negation `-> -` Implication `<- -` Reversed Implication `<-> -` Equivalence `+ - -` Exclusive-Or (XOR) `1 - -` Truth `0 - -` Falsum