Pages that link to "Item:Q1903578"
From MaRDI portal
The following pages link to Semantics-based nonmonotonic inference (Q1903578):
Displaying 20 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Inferentializing semantics (Q975776) (← links)
- Nonmonotonic inference based on expectations (Q1321060) (← links)
- A nonmonotonic modal relevant sequent calculus (Q1679801) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← links)
- (Q3817644) (← links)
- Nonmonotonic inference operations (Q4291870) (← links)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences (Q4443395) (← links)
- (Q4797641) (← links)
- Displaying the modal logic of consistency (Q4948528) (← links)
- Inferential Semantics (Q5213609) (← links)
- Choosing your nonmonotonic logic: a shopper's guide (Q5224666) (← links)
- Logics in Artificial Intelligence (Q5394144) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
