On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: LPAR (2002)

Keyphrases

search algorithm
fixed point
worst case
decision problems
structural properties
database
information retrieval
information systems
computational complexity
probabilistic model
desirable properties
space complexity