Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution.

Published in: Reports Math. Log. (2004)

Keyphrases

expressive power
information systems
data structure
special case
decision support
modal logic
image processing
optimal solution
knowledge representation
description logics
first order logic
key technologies