Home SQEMA SQEMA @ FMI Samples Thesis
Current: (([0](<0>p -> [0]q) And p) -> <0>[0][0]q)
Nominal Formula: (C1 And <0>[0][0]<0>-1(<0>C1 And <0>-1C1))
First-Order Formula: Exists z1((xRz1) And For-All z2((z1Rz2) -> For-All z3((z2Rz3) -> Exists z4((z4Rz3) And (z4Rx) And (xRz4)))))
Legend:
Variable names start with a small latin letter and can contain small latin letters and numbers.
Names starting with a small letter 'c' are considered nominals.
#   - necessity.png - Necessity
@   - possibility.png - Possibility
#'  - necessity.png-1 - Reversed Necessity
@'  - possibility.png-1 - Reversed 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
&   - and.png - Conjunction
|   - or.png - Disjunction
~   - not.png - Negation
->  - Implication
<-  - Reversed Implication
<-> - Equivalence