Generalized Quantifiers and Compact Logic
نویسندگان
چکیده
منابع مشابه
Generalized quantifiers and modal logic
We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective...
متن کاملGeneralized Quantifiers in Logic Programs
Generalized quantiiers are an important concept in model-theoretic logic which has applications in diierent elds such as linguistics , philosophical logic and computer science. In this paper, we consider a novel application in the eld of logic programming, which has been presented recently. The enhancement of logic programs by generalized quantiiers is a convenient tool for interfacing extra-lo...
متن کاملGeneralized Quantifiers in Dependence Logic
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics using the Hodges semantics, e.g., IF-logic and dependence logic. For this we introduce the multivalued dependence atom and observe the similarities with the, by Väänänen and Grädel, newly introduced independence atom.
متن کاملModular Logic Programming and Generalized Quantifiers
The research on systems of logic programming with modules has followed two mainstreams, programming-in-the-large, where compo-sitional operators are provided for combining separate and independent modules, and programming-in-the-small, which aims at enhancing logic programming with new logical connectives. In this paper, we present a general model theoretic approach to modular logic programming...
متن کاملDeafault logic, natural language and generalized quantifiers
Default logic [Reiter 80] is now commonly used in artificial intelligence systems and turns out to be one of the major research fields in knowledge representation. One of the first motivations of default logic wan to give a more accurate semantic represem tation to natural language statements of the form: Birds fl~: Mos t birds fly. or~ arguably: Typicall2o; birds lty~ The idea was to define a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1975
ISSN: 0002-9947
DOI: 10.2307/1997362