Nonmonotonic consequence based on intuitionistic logic

DOI10.2307/2275363zbMath0766.03016OpenAlexW1997367034MaRDI QIDQ4032657

Gisele Fischer Servi

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275363

zbMATH Keywords

nonmonotonic logicknowledgepossible worlds semanticsnonmonotonic inferenceaxiomatic systemsFirst Order Modal Intuitionistic Logic

Mathematics Subject Classification ID

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

Related Items (1)

A tableaux calculus for default intuitionistic logic

Cites Work

• Counterfactuals and comparative possibility
• A logic for default reasoning
• A general filtration method for modal logics
• Nonmonotonic Logic II
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmonotonic consequence based on intuitionistic logic