Subject-oriented spatial logic
We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to...
Main Authors: | , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Elsevier
2020
|