Nonmonotonic consequence based on intuitionistic logic

Journal of Symbolic Logic 57 (4):1176-1197 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275363

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
On Nonmonotonic Consequence Relations.Alexei Muravitsky - 2021 - Logica Universalis 15 (2):227-249.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
On representation theorems for nonmonotonic consequence relations.Ramón Pino Pérez & Carlos Uzcátegui - 2000 - Journal of Symbolic Logic 65 (3):1321-1337.
On Representation Theorems for Nonmonotonic Consequence Relations.Ramon Perez & Carlos Uzcategui - 2000 - Journal of Symbolic Logic 65 (3):1321-1337.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 85-98.
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 85-98.
Logical Tools for Handling Change in Agent-Based Systems.Dov M. Gabbay & Karl Schlechta - 2009 - New York, NY, USA: Springer.

Analytics

Added to PP
2009-01-28

Downloads
28 (#556,056)

6 months
9 (#438,283)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.

View all 6 references / Add more references