On rules with existential variables: Walking the decidability line

, , &
Artificial Intelligence 175 (9-10):1620-1654 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2011.03.002

Links

PhilArchive



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

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

Quantifying disablers in reasoning with universal and existential rules.Lupita Estefania Gazzo Castañeda & Markus Knauff - 2018 - Thinking and Reasoning 24 (3):344-365.
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.Maarten Marx & Szabolcs Mikulas - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
Decidability of cylindric set algebras of dimension two and first-order logic with two variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
Walking dreams in congenital and acquired paraplegia.Marie-Thérèse Saurat, Maité Agbakou, Patricia Attigui, Jean-Louis Golmard & Isabelle Arnulf - 2011 - Consciousness and Cognition 20 (4):1425-1432.
Syllogistics = monotonicity + symmetry + existential import.Jan van Eijck - unknown
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1).
Walking Cautiously Into the Collatz Wilderness: Algorithmically, Number Theoretically, Randomly.Edward G. Belaga & Maurice Mignotte - 2006 - Discrete Mathematics and Theoretical Computer Science.
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
Third order matching is decidable.Gilles Dowek - 1994 - Annals of Pure and Applied Logic 69 (2-3):135-155.
Decidability of Some Logics with Free Quantifier Variables.D. A. Anapolitanos & J. A. Väänänen - 1981 - Mathematical Logic Quarterly 27 (2‐6):17-22.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Dependence of variables construed as an atomic formula.Jouko Väänänen & Wilfrid Hodges - 2010 - Annals of Pure and Applied Logic 161 (6):817-828.
Decidability of Some Logics with Free Quantifier Variables.D. A. Anapolitanos & J. A. Väänänen - 1981 - Mathematical Logic Quarterly 27 (2-6):17-22.
Walking as Spiritual Practice: The Pilgrimage to Santiago de Compostela.Sean Slavin - 2003 - Body and Society 9 (3):1-18.
Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,110,001)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical English meets legal English for swaps and derivatives.Robert Kowalski & Akber Datoo - 2022 - Artificial Intelligence and Law 30 (2):163-197.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references