What is a (non-constructive) non-monotone logical system?

DOI10.1016/S0304-3975(99)00319-9zbMath0943.03028WikidataQ126594596 ScholiaQ126594596MaRDI QIDQ1575268

Philippe Besnard, Torsten Schaub

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicnonconstructive logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• A propositional calculus with denumerable matrix
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: What is a (non-constructive) non-monotone logical system?