Counting the Maximal Intermediate Constructive Logics.

Mauro Ferrari Pierangelo Miglioli

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

Keyphrases

modal logic
expressive power
inference rules
data sets
multiscale
proof theory
database
neural network
real world
artificial intelligence
decision making
multi agent systems
default logic
propositional calculus
propositional dynamic logic