Nonmonotonic consequence based on intuitionistic logic
type: Item
instance of: scholarly article
title: Nonmonotonic consequence based on intuitionistic logic
zbMATH Open document ID: 0766.03016
DOI: 10.2307/2275363
author: Gisele Fischer Servi
published in: Journal of Symbolic Logic
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 150013
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: nonmonotonic inference
zbMATH Keywords: knowledge
zbMATH Keywords: First Order Modal Intuitionistic Logic
zbMATH Keywords: axiomatic systems
zbMATH Keywords: possible worlds semantics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2275363
OpenAlex ID: W1997367034
cites work: Counterfactuals and comparative possibility
cites work: A general filtration method for modal logics
cites work: A logic for default reasoning
cites work: Q3218103
cites work: Q3667969
cites work: Nonmonotonic Logic II
cites work: Q3723720
description: scientific article