An infinite class of maximal intermediate propositional logics with the disjunction property.

Pierangelo Miglioli

Published in: Arch. Math. Log. (1992)

Keyphrases

default logic
finite sets
first order logic
temporal logic
neural network
expressive power
modal logic
propositional logic
horn clauses