Nonmonotonic consequence based on intuitionistic logic

DOI10.2307/2275363MaRDI QIDQ4032657zbMATH OpenOpenAlexFDO

Authors 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

axiomatic systemsFirst Order Modal Intuitionistic Logicknowledgenonmonotonic inferencenonmonotonic logicpossible worlds semantics

Mathematics Subject Classification ID

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

Recommendations

• Semantics-based nonmonotonic inference
• Nonmonotonic logics. Basic concepts, results, and techniques
• Nonmonotonic reasoning, preferential models and cumulative logics
• scientific article; zbMATH DE number 611091
• A modal nonmonotonic logic

Cites work

• A general filtration method for modal logics
• A logic for default reasoning
• Counterfactuals and comparative possibility
• scientific article; zbMATH DE number 3884133 (Why is no real title available?)
• scientific article; zbMATH DE number 3821130 (Why is no real title available?)
• scientific article; zbMATH DE number 3954297 (Why is no real title available?)
• Nonmonotonic Logic II

Cited in

(9)

• Non-axiomatizable second order intuitionistic propositional logic
• Semantics-based nonmonotonic inference
• Nonmonotonicity in the framework of parametric logic
• A tableaux calculus for default intuitionistic logic
• Noninterference for Intuitionist Necessity
• scientific article; zbMATH DE number 611091 (Why is no real title available?)
• Choosing your nonmonotonic logic: a shopper's guide
• Modeling and Using Context
• Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032657)