All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete.

Camillo Fiorentini

Published in: J. Symb. Log. (2000)

Keyphrases

expressive power
linearly ordered
information systems
genetic algorithm
social networks
high level
relational databases
modal logic
inference rules
pspace complete
propositional variables
coalition logic