It is well-known that Independence Friendly (IF) logic is equivalent to existential secondorder logic (Σ1 1 ) and, therefore, is not closed under classical negation. The Boolean closure of IF sentences, called Extended ...

This paper presents a discussion about quantifiers, particularly quantifiers of natural languages, and its formalizations into logical contexts. Central attention is at the cases of ‘many’ and ‘few’ well as its formalization ...

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but nontrivial theories) having a consistency connective which allows to recover the ex falso quodlibet ...

Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to ...

Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...

Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighbourhood of its free variables. Such notions have proved to be useful in many ...