Quantifiers: Logics, Models and Computation
Volume Two: Contributions
Page
%P
-
Chapter
On the Logic with Rough Quantifier
The main aim of this paper is to present a survey of results on the logic with rough quantifier. Besides, a classification of simplicity of formulas of the logic with rough quantifier is defined and a criterio...
-
Book
-
Book
-
Chapter
Quantifiers Determined by Classes of Binary Relations
For a class of binary relations R we consider a logic L(R) defined as follows:
the class of possible models have a form (R; A), denoted by A R ...
-
Chapter
Quantifiers, Some Problems and Ideas
The word quantifier comes from the latin quantitas (quantity) as contrasted with qualitas (quality). This intuition does not mean that the notion of quantifier is understood as an arithmetical concept. We underst...
-
Chapter
Henkin Quantifiers
In the paper we give a survey of all known results (as far as we have been able to determine) concerning logics with Henkin quantifiers, known also as finite partially ordered quantifiers, branching or branche...
-
Article
On simplicity of formulas
Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
-
Article
A note on syntactical and semantical functions
We say that a semantical function Г is correlated with a syntactical function F iff for any structure A and any sentence ϕ we have A ⊧ Fϕ ↔ Γ A ⊧ ϕ.
-
Article
On orderings of the family of all logics
