Semantics-based nonmonotonic inference
From MaRDI portal
Publication:1903578
Recommendations
Cites work
- scientific article; zbMATH DE number 3884137 (Why is no real title available?)
- scientific article; zbMATH DE number 3755914 (Why is no real title available?)
- scientific article; zbMATH DE number 9973 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- Constructible falsity and inexact predicates
- Intuitionistic logic with strong negation
- Logic Programming with Strong Negation and Inexact Predicates
- Non-monotonic logic. I
- The logic of information structures
- Vivid logic. Knowledge-based reasoning with two kinds of negation
Cited in
(26)- scientific article; zbMATH DE number 1878043 (Why is no real title available?)
- A tableaux calculus for default intuitionistic logic
- A first order nonmonotonic extension of constructive logic
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences
- Choosing your nonmonotonic logic: a shopper's guide
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Nelson algebras, residuated lattices and rough sets: A survey
- Nonmonotonic consequence based on intuitionistic logic
- Inferential Semantics
- Nonmonotonic inference operations
- Inferentializing semantics
- An axiomatization of Wansing's expansion of Nelson's logic
- Logics in Artificial Intelligence
- A nonmonotonic modal relevant sequent calculus
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- scientific article; zbMATH DE number 1882045 (Why is no real title available?)
- Displaying the modal logic of consistency
- On the meaning of connectives (apropos of a non-necessitarianist challenge)
- scientific article; zbMATH DE number 4090838 (Why is no real title available?)
- Towards a bridge over two approaches in connexive logic
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Nonmonotonic inference based on expectations
- scientific article; zbMATH DE number 4137749 (Why is no real title available?)
- A nonmonotonic sequent calculus for inferentialist expressivists
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
This page was built for publication: Semantics-based nonmonotonic inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903578)