Decidability of Some Logics with Free Quantifier Variables.

D. A. Anapolitanos Jouko A. Väänänen

Published in: Math. Log. Q. (1981)

Keyphrases

decision procedures
expressive power
variable selection
modal logic
description logics
relevant variables
computational properties
propositional variables
fuzzy logic
query answering
neural network
fuzzy sets
regression model
default logic
causal relationships