Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.
Guido BertolottiPierangelo MiglioliDaniela SilvestriniPublished in: Math. Log. Q. (1996)
Keyphrases
- default logic
- expressive power
- propositional logic
- first order logic
- nonmonotonic logics
- modal logic
- computational properties
- classical first order logic
- coalition logic
- autoepistemic logic
- logic programming
- epistemic logic
- anti monotonic
- linearly ordered
- wide range
- integer points
- neural network
- classical logic
- nonmonotonic reasoning
- propositional variables