Logica weurt gebruuk um 'n formele semantiek te levere vaan de wijze boe-op redeneerfunksies motte weurde touwgepas op de symbole in 't KR-systeem.