Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

Annals of Pure and Applied Logic 169 (3):177-215 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.10.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Chapter 9a what is logic?J. R. Lucas - manuscript
Inclusion and Exclusion in Natural Language.Thomas F. Icard - 2012 - Studia Logica 100 (4):705-725.
Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview.Jean-Marie le Bars - 2000 - Bulletin of Symbolic Logic 6 (1):67-82.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Externalism, internalism, and logical truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
Second-order logic : ontological and epistemological problems.Marcus Rossberg - 2006 - Dissertation, St Andrews
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
First-order logic based on inclusion and abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Niklas Luhmann's systems theoretical redescription of the inclusion/exclusion debate.Antoon Braeckman - 2006 - Philosophy and Social Criticism 32 (1):65-88.

Analytics

Added to PP
2017-10-25

Downloads
48 (#323,919)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing first order consequences in inclusion logic.Fan Yang - 2020 - Mathematical Logic Quarterly 66 (2):195-216.
The expressive power of k-ary exclusion logic.Raine Rönnholm - 2019 - Annals of Pure and Applied Logic 170 (9):1070-1099.
On definability of team relations with k-invariant atoms.Raine Rönnholm - 2022 - Annals of Pure and Applied Logic 173 (10):103136.

Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.

View all 8 references / Add more references