Axiomatizing first order consequences in inclusion logic

Mathematical Logic Quarterly 66 (2):195-216 (2020)
  Copy   BIBTEX

Abstract

Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed‐point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201900031

Links

PhilArchive



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

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

Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2.Hitoshi Omori & Jesse Alama - 2018 - Studia Logica 106 (6):1163-1180.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.
Axiomatizing the monodic fragment of first-order temporal logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
Axiomatizing hybrid logic using modal logic.Ian Hodkinson & Louis Paternault - 2010 - Journal of Applied Logic 8 (4):386-396.
On the search for a finitizable algebraization of first order logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.
Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic.Raine Rönnholm - 2018 - Annals of Pure and Applied Logic 169 (3):177-215.
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
First-order logic based on inclusion and abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.
An algorithm for axiomatizing every finite logic.Stanisław Surma - 1976 - In Computer Science and Multiple-Valued Logic. North-Holland. pp. 137-143.
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.Ivano Ciardelli - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 94-113.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205-240.

Analytics

Added to PP
2020-06-24

Downloads
15 (#940,347)

6 months
7 (#419,635)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Complete Logics for Elementary Team Properties.Juha Kontinen & Fan Yang - forthcoming - Journal of Symbolic Logic:1-41.
Propositional union closed team logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.

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.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.

View all 10 references / Add more references