Global Neighbourhood Completeness of the Gödel-Löb Provability Logic.

Daniyar S. Shamkanov

Published in: WoLLIC (2017)

Keyphrases

information systems
decision trees
modal logic
global information
multi valued
genetic algorithm
database systems
computational properties
nonmonotonic logics