Description
Check whether one supplied modal-accessibility edge is a self-loop.
Formal annotations separate declared truth values, domain assumptions, variable lists and source interpretations. A direct self-reference differs from an indirect cycle, and one self-loop differs from a globally reflexive relation. Local token operations do not parse a complete argument, derive its assumptions or establish truth or validity.
Check whether one supplied modal-accessibility edge is a self-loop.
When to use this tool
Use Modal Accessibility Edge Reflexive Label when you already have sourceWorld, targetWorld and need to check whether one supplied modal-accessibility edge is a self-loop.
How to use the tool and how it works
- Enter sourceWorld, targetWorld. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read reflexiveEdge, edgeToken. Inspect reflexiveEdge before interpreting the associated values.
Require nonempty sourceWorld/targetWorld; compare literal equality and encode the pair as JSON text.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| sourceWorld | Source World | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| targetWorld | Target World | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| reflexiveEdge | This one edge is a self-loop; does not establish global relation reflexivity. | Required. Boolean. |
| edgeToken | Edge Token | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"sourceWorld": "W1",
"targetWorld": "W1"
},
"output": {
"reflexiveEdge": true,
"edgeToken": "[\"W1\",\"W1\"]"
}
}Limitations and assumptions
- One self-loop does not establish that the entire accessibility relation is reflexive or validates a modal axiom.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Parse or formalize the complete expression and declared semantics when validity is the question. Inspect the full reference or accessibility relation for cycles and global properties; a supplied annotation, self-loop or variable list establishes only its local predicate.
References
Similar or alternative tools
- Concept Definition Circular Self Reference Flag
Flag direct self-reference in a supplied concept-reference list.
- Logical Formula Single Free Variable Flag
Check whether a supplied free-variable list contains only the candidate variable.