%0 Journal Article %A Dobrev, Dimiter %T Language for Description of Worlds. Part 1: Theoretical Foundation %J Serdica Journal of Computing %D 2023 %P 101-150 %V 16 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/SJC_2023_16_2_a0/ %G en %F SJC_2023_16_2_a0