Topological forcing semantics with settling.
Robert S. LubarskyPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- formal semantics
- information retrieval
- semantic information
- spatial information
- operational semantics
- model theoretic
- data model
- conceptual model
- deductive databases
- graphical representation
- semantic representation
- topological properties
- nonmonotonic logics
- digital topology
- topological spaces
- directional relations