Please augment footnote 4 or otherwise provide a more complete summary of symbols.
I appreciate that some of these symbols have standard meanings in the relevant fields. But different subfields use these with subtle differences.
Note, for example, this list of logic symbols in which single-arrow → and double-arrow ⇒ are said to carry the same meaning, but you use them distinctly. (You also use horizontal line (like division) to indicate implication on page 7. I think you mean the same as single-arrow. Again, that’s standard notation, but it should be described along with the others.)
On page 3 you specify a special meaning for double turnstile ||- . I’d like to see an explanation of your meaning for the symbol, “an agent has cognitively concluded a belief,” instead of the entailment usually meant by the double turnstile, but in any case, please add it to the summary.
It’s good that you keep the paper technical, while using the footnotes to enlighten the rest of us. A more complete list of symbols would be helpful for that.
Please augment footnote 4 or otherwise provide a more complete summary of symbols.
I appreciate that some of these symbols have standard meanings in the relevant fields. But different subfields use these with subtle differences.
Note, for example, this list of logic symbols in which single-arrow → and double-arrow ⇒ are said to carry the same meaning, but you use them distinctly. (You also use horizontal line (like division) to indicate implication on page 7. I think you mean the same as single-arrow. Again, that’s standard notation, but it should be described along with the others.)
On page 3 you specify a special meaning for double turnstile ||- . I’d like to see an explanation of your meaning for the symbol, “an agent has cognitively concluded a belief,” instead of the entailment usually meant by the double turnstile, but in any case, please add it to the summary.
It’s good that you keep the paper technical, while using the footnotes to enlighten the rest of us. A more complete list of symbols would be helpful for that.