Formalizing falsification: Three delete operations

Mathematical Logic Quarterly 36 (5):455-470 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,224,450)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.

View all 10 references / Add more references