An intuitionistic basis for non-monotonic reasoning

&
In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches.Alvaro del Val - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):213-240.
Modal logic based theory for non-monotonic reasoning.Pierre Siegel & Camilla Schwind - 1993 - Journal of Applied Non-Classical Logics 3 (1):73-92.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Logika niemonotoniczna jako sposób wnioskowania w niesprzyjających warunkach.Marcin Trepczyński - 2011 - Filozofia Nauki 19 (2).
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Semantic considerations on non-monotonic reasoning.Piotr Rychlik - 1989 - Warszawa: Instytut Podstaw Informatyki Polskiej Akademii Nauk.
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test.H. E. Kyburg Jr - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 223.
Why non-monotonic logic is inadequate to represent balancing arguments.Jan-R. Sieckmann - 2003 - Artificial Intelligence and Law 11 (2-3):211-219.
Default reasoning as situated monotonic inference.Lawrence Cavedon - 1998 - Minds and Machines 8 (4):509-531.
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
Non-monotonic logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.

Analytics

Added to PP
2014-01-29

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Nonmonotonic reasoning based on incomplete logic.Tuan-Fang Fan, I. -Peng Lin & Churn-Jung Liau - 1997 - Journal of Applied Non-Classical Logics 7 (4):375-395.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.

Add more citations

References found in this work

No references found.

Add more references