Decidability by Filtrations for graded normal logics (graded modalities V).

Claudio Cerrato

Published in: Stud Logica (1994)

Keyphrases

decision procedures
modal logic
data sets
neural network
genetic algorithm
description logics
expressive power
real world
data management