Equivalence for the G 3 ′ -stable models semantics

, &
Journal of Applied Logic 8 (1):82-96 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.12.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

An argument game for stable semantics.Martin Caminada & Yining Wu - 2008 - Logic Journal of the IGPL 17 (1):77-90.
The Family of Stable Models.Melvin Fitting - unknown
Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.
An Old Friend Revisited: Countable Models of ω-Stable Theories.Michael C. Laskowski - 2007 - Notre Dame Journal of Formal Logic 48 (1):133-141.
Simplified Affine Phase Structures.Francesco Paoli - 1998 - Reports on Mathematical Logic:21-34.
Expressible semantics for expressible counterfactuals.Emmanuel Chemla - 2011 - Review of Symbolic Logic 4 (1):63-80.
Safe beliefs for propositional theories.Mauricio Osorio, Juan Antonio Navarro Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.
Action emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
Strong stability and the incompleteness of stable models for λ-calculus.Olivier Bastonero & Xavier Gouy - 1999 - Annals of Pure and Applied Logic 100 (1-3):247-277.
Action emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.
A general theory of conservation laws, their violation, and spontaneous phenomena.K. Tahir Shah - 1979 - Foundations of Physics 9 (3-4):271-282.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Twelve definitions of a stable model.Vladimir Lifschitz - unknown
Safe formulas in the general theory of stable models (preliminary report).Vladimir Lifschitz - unknown

Analytics

Added to PP
2016-06-30

Downloads
18 (#857,094)

6 months
2 (#1,255,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

View all 6 references / Add more references