Quantifying over Quantifiers
Published in Electronic Notes in Theoretical Computer Science • Sep 1, 2003
Authors:
Lauri Hella
Abstract
We study existential and universal quantification over quantifiers, i.e. quantification where the objects quantified over are Lindstrom quantifiers. First we consider the fragment where only existential quantification over quantifiers is allowed, denoted ΣQ1. We show that ΣQ1 includes inflationary f...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!