Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Open Access
    Datensatz exportieren als...
  • BibTeX
Characterizing quantifier extensions of dependence logic
The Journal of symbolic logic, 2013-03, Vol.78 (1), p.307-316
2013

Details

Autor(en) / Beteiligte
Titel
Characterizing quantifier extensions of dependence logic
Ist Teil von
  • The Journal of symbolic logic, 2013-03, Vol.78 (1), p.307-316
Ort / Verlag
New York, USA: Cambridge University Press
Erscheinungsjahr
2013
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.
Sprache
Englisch
Identifikatoren
ISSN: 0022-4812
eISSN: 1943-5886
DOI: 10.2178/jsl.7801210
Titel-ID: cdi_swepub_primary_oai_gup_ub_gu_se_175255
Format
–
Schlagworte
Algebra and Logic, Algebra och logik, Atoms, Dependence logics, Existentialism, Filosofi, Inductive reasoning, Logic, Logical theorems, Mathematical logic, Mathematics, Philosophy, Predicate logic, Semantics, Signatures, Truth condition, Urelements

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX